package logical
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val empty : Type.stateval create : (Type.variable_name * Type.t) list -> Type.state optionval create_exn : (Type.variable_name * Type.t) list -> Type.stateval value_of : Type.state -> Type.t -> Type.tval unify : Type.state -> Type.t -> Type.t -> Type.state optionval to_string : Type.state -> string