An entry for the persistent environment extension for declared type classes
- name : Lake.Name
Switch the state into persistent mode. We switch to this mode after
we read all imported .olean files.
Recall that we use a
SMap for implementing the state of the type class environment extension.
declName is a class, return the position of its
true if the given
declName is a type class with output parameters.
Remark: this function consumes the
This function uses the same logic used as
See issue #1901
Add a new type class with the given name to the environment.
declName must not be the name of an existing type class,
and it must be the name of constant in
declName must be a inductive datatype or axiom.
Recall that all structures are inductive datatypes.
- One or more equations did not get rendered due to their size.