Source

ocaml-dynatvar / dynvar.mli

Full commit
exception Type_error of (string * string)
;

type ty 'a;
type var;

value mktype : string -> ty 'a
;

value var : ty 'a -> 'a -> var
;

value get : ty 'a -> var -> 'a
;