inferno

A library for constraint-based Hindley-Milner type inference
IN THIS PACKAGE
Module Inferno . Utils
val postincrement : int ref -> int
val gensym : unit -> unit -> int

gensym() creates a fresh generator of fresh integer identifiers.