Runtime type indications for Unicode text.
The runtime type indicator indicating a Unicode code point.
class horizon : Cf_type.horizonThe type relations that include the Unicode text values.
Include the form.
include Cf_type.Formval req : 'a Cf_type.nym -> Cf_type.opaque -> 'aUse opt n v to extract v' if n is equivalent to the encapsulated runtime type, otherwise raises an exception (conventionally Type_error).
val opt : 'a Cf_type.nym -> Cf_type.opaque -> 'a optionUse opt n v to extract Some v' if n is equivalent to the encapsulated runtime type, otherwise returns None.
val eq : 'a Cf_type.nym -> 'b Cf_type.nym -> ('a, 'b) Cf_type.eqUse eq a b to produce the equivalence constraint for the types associated with nyms a and b under the horizon. Returns Eq if a and b are nyms for equivalent types, otherwise raises Type_error.
val ck : 'a Cf_type.nym -> Cf_type.opaque -> boolUse ck n v to test whether n is equivalent to the encapsulated runtime type.