Module Common

module Files : sig ... end
module Gensym : sig ... end

Generate fresh (never before used) symbols.

module ICE : sig ... end

Internal compiler errors

module Nonempty_list : sig ... end

A non-empty list type. This can be constructed with the usual list syntax when the compiler is inferring the type, e.g.