ulkb.Theory.show_extensions

Theory.show_extensions(*args, limit=None, offset=None, id=None, class_=None, **kwargs)

Prints extensions matching criteria.

If offset is not given, assumes Theory.prelude_offset.

Parameters:

• args – Expressions that must occur in extension.

• limit – Maximum number of results.

• offset – Minimum offset.

• id – Id (regex).

• class – Class.

• kwargs – Extra arguments to be passed to print().

See also

show_extensions(), show_type_constructors(), show_constants(), show_axioms(), show_definitions(), show_theorems(), show_python_type_aliases().