package msat

  1. Overview
  2. Docs
type term = St.term
type formula = St.formula
type proof = St.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