Skip to main content
Ctrl
+
K
ulkb documentation
Site Navigation
Object
Expression
Type constructor
Type
Term
More
Prelude
Extension
Theory
Commands
Conversion, parsing, serialization
Appendix: More object methods
Appendix: Utilities
Site Navigation
Object
Expression
Type constructor
Type
Term
More
Prelude
Extension
Theory
Commands
Conversion, parsing, serialization
Appendix: More object methods
Appendix: Utilities
Section Navigation
ulkb.Object.test
ulkb.Object.check
ulkb.Object.unfold
ulkb.Object.unfold_unsafe
ulkb.Object.unpack
ulkb.Object.unpack_unsafe
ulkb.Object.args
ulkb.Object.get_args
ulkb.Object.annotations
ulkb.Object.get_annotations
ulkb.Object.compare
ulkb.Object.equal
ulkb.Object.deepequal
ulkb.Object.copy
ulkb.Object.with_args
ulkb.Object.with_annotations
ulkb.Object.deepcopy
ulkb.Object.hexdigest
ulkb.Object.get_hexdigest
ulkb.Object.dump
Object
ulkb.Object.args
ulkb.Object.args
#
property
Object.
args
#
Object arguments.
On this page
Object.args
Show Source