package orsetto

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

The type relations for all CBOR encoded values.

method equiv : 'a 'b. 'a Cf_type.nym -> 'b Cf_type.nym -> ('a, 'b) Cf_type.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