package msat

  1. Overview
  2. Docs
type term = E.Term.t
type formula = E.Formula.t
type proof = E.proof
type level
val dummy : level
val current_level : unit -> level
val backtrack : level -> unit
val assign : term -> term
val iter_assignable : (term -> unit) -> formula -> unit