Documentation

Construct a partial isomorphism expression for a constructor, given the constructor's name.

Construct partial isomorphism definitions for all constructors of a datatype, given the datatype's name. The names of the partial isomorphisms are constructed by spelling the constructor names with an initial lower-case letter.