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.unfolded_args

ulkb.Expression.unfolded_args#

property Expression.unfolded_args#: Expression arguments unfolded.

previous

Expression

next

ulkb.Expression.get_unfolded_args

On this page

Expression.unfolded_args

© Copyright 2023, IBM Corp.

Created using Sphinx 7.2.2.

Built with the PyData Sphinx Theme 0.13.3.