StringArg

class hugr.tys.StringArg(value: str)

Bases: TypeArg

A utf-8 encoded string type argument.

Methods

resolve	Resolve types in the argument using the given registry.
to_model	Convert the type argument to a model Term.

Attributes

value

resolve(registry: ext.ExtensionRegistry) → TypeArg

Resolve types in the argument using the given registry.

to_model() → Term

Convert the type argument to a model Term.