package aez

  1. Overview
  2. Docs
type error =
  1. | DuplicateTypeName of Hstring.t
  2. | DuplicateSymb of Hstring.t
  3. | UnknownType of Hstring.t
  4. | UnknownSymb of Hstring.t
exception Error of error
module Type : sig ... end
module Symbol : sig ... end
module Variant : sig ... end
module Term : sig ... end
module Formula : sig ... end
exception Unsat of int list
val set_cc : bool -> unit
module type Solver = sig ... end
module Make (Dummy : sig ... end) : Solver