ex4pm
v26.9.9
Search documentation of ex4pm
Default
Default
In-browser search
Settings
Ex4pm.
Qualification.
Powl.
Semantics
(ex4pm v26.9.9)
Copy Markdown
View Source
Bounded POWL semantic identity used by the correspondence court.
Summary
Functions
identity(model, bound)
Functions
identity(model, bound)