Skip to main content

Ctrl+K

ulkb documentation

Site Navigation

Object
Expression
Type constructor
Type
Term

Conversion, parsing, serialization

Appendix: More object methods

Appendix: Utilities

Site Navigation

Object
Expression
Type constructor
Type
Term

Conversion, parsing, serialization

Appendix: More object methods

Appendix: Utilities

Section Navigation

ulkb.Expression.unfolded_args
ulkb.Expression.get_unfolded_args

ulkb.Expression.type_constructors
ulkb.Expression.get_type_constructors
ulkb.Expression.has_type_constructors

ulkb.Expression.type_variables
ulkb.Expression.get_type_variables
ulkb.Expression.has_type_variables

ulkb.Expression.instantiate

Expression
ulkb.Expression.type_constructors

ulkb.Expression.type_constructors#

property Expression.type_constructors#: Set of type constructors occurring in expression.

previous

ulkb.Expression.get_unfolded_args

next

ulkb.Expression.get_type_constructors

On this page

Expression.type_constructors

© Copyright 2023, IBM Corp.

Created using Sphinx 7.2.2.

Built with the PyData Sphinx Theme 0.13.3.