package orsetto

  1. Overview
  2. Docs
package orsetto
Legend:
Library
Module
Module type
Parameter
Class
Class type

A class that defines the equality constraint for all the type nyms defined above and provides for extending the equality constraint for new type nyms by defining subclasses.

method equiv : 'a 'b. 'a nym -> 'b nym -> ('a, 'b) eq

Define obj#equiv a b to apply the type equivalence constraint to a and b. It must return Eq if they are nyms for equivalent types, otherwise raise Type_error