package mc2

  1. Overview
  2. Docs

SMTLib-2 Interface

This library provides a parser, a type-checker, and a solver interface for processing SMTLib-2 problems.

module Typecheck : sig ... end
type 'a or_error = ('a, string) CCResult.t
module Make (ARG : sig ... end) : sig ... end