package orec

  1. Overview
  2. Docs

Module Orec.UnivSource

Sourcetype 'a type_carrier =
  1. | T

Helper type

Sourcetype 'a witness

Unique type identifier with equality

Sourcetype key

key type

Sourceval id : 'a witness -> key

Compute the value-level identifier associated to a type-level identifier

Sourcetype binding =
  1. | B : 'a witness * 'a -> binding

Bind together an 'a type-identifier with an 'a value

Sourceval extract : 'a witness -> binding -> 'a option

Try to extract an 'a value from a binding using the given type identifier

Sourceval extract_exn : 'a witness -> binding -> 'a
Sourceval create : unit -> 'a witness

Create a new type identifier