Closed strub closed 1 year ago
When cloning a theory, inlined operator definitions must be expressions s.t. their substitution can be done in procedures bodies.
When cloning a theory, inlined operator definitions must be expressions s.t. their substitution can be done in procedures bodies.