package orec

You can search for identifiers within the package.

in-package search v0.2.0

dynamic open records

Install

sha256=f9b636ad578986d26fa45b437f1c825b4c04aa8da620a3df885145109d293326

Sourcetype 'a type_carrier =

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 =

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