TypeArg

class hugr.tys.TypeArg(*args, **kwargs)

Bases: Protocol

A HUGR type argument, which can be bound to a :class:TypeParam.

Methods

resolve

Resolve types in the argument using the given registry.

resolve(registry: ext.ExtensionRegistry) → TypeArg

Resolve types in the argument using the given registry.