Skip to content

Instantly share code, notes, and snippets.

@rightfold
Last active November 19, 2015 11:55
Show Gist options
  • Save rightfold/c8d711e829e15bfc6e0e to your computer and use it in GitHub Desktop.
Save rightfold/c8d711e829e15bfc6e0e to your computer and use it in GitHub Desktop.
(* used outside type inferencer *)
type typ = [ `Boolean_type | `Integer_type ]
(* used inside type inferencer *)
type unifiable_type = [ typ | `Unification_variable of typ option Ref.t ]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment