FloatVal

class hugr.std.float.FloatVal(v: float)

Bases: ExtensionValue

Custom value for a floating point number.

Methods

to_model
to_value	Convert to a HUGR extension value.
type_	Report the type of the value.

Attributes

v

to_value() → Extension

Convert to a HUGR extension value.

type_() → Type

Report the type of the value.

Example

>>> TRUE.type_()
Bool