package orsetto

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

The type relations for all CBOR encoded values.

method private local : 'a 'b. 'a Cf_type.nym -> 'b Cf_type.nym -> ('a, 'b) Cf_type.eq option

Use self#local a b to compare types a and b for equality in the local horizon, i.e. only the variant cases added to

f_type.nym

after any inherited classes were defined.

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

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

Conventionally, this method invokes super#local a b for each class from which it inherits, as well as its own self#local a b.