ulkb.Theory.lookup_type_constructor

Theory.lookup_type_constructor(arg, default=<class 'ulkb.util.Nil'>)

Searches for type constructor.

If default is given, returns it instead of raising an exception.

Parameters:

• arg – Id or TypeConstructor.

• default – Value.

Returns:

TypeConstructor.

Raises:

LookupError – arg not in theory.

See also

lookup_type_constructor().