FloatArg¶
- class hugr.tys.FloatArg(value: float)[source]¶
Bases:
TypeArg
A floating point type argument.
Methods
Resolve types in the argument using the given registry.
Convert the type argument to a model Term.
Attributes
value
- resolve(registry: ext.ExtensionRegistry) TypeArg ¶
Resolve types in the argument using the given registry.