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
Extension
Extension
#
class
Extension
(
*
args
,
**
kwargs
)
[source]
#
On this page
Extension
Show Source