Function

class hugr.val.Function(body: Hugr)

Bases: Value

Higher order function value, defined by a Hugr.

Methods

to_model
type_	Report the type of the value.

Attributes

body

type_() → FunctionType

Report the type of the value.

Example

>>> TRUE.type_()
Bool