package logical

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val empty : Type.state
val create : (Type.variable_name * Type.t) list -> Type.state option
val create_exn : (Type.variable_name * Type.t) list -> Type.state
val value_of : Type.state -> Type.t -> Type.t
val unify : Type.state -> Type.t -> Type.t -> Type.state option
val to_string : Type.state -> string
OCaml

Innovation. Community. Security.