package msat

  1. Overview
  2. Docs
type atom
type lemma
val print_atom : Format.formatter -> atom -> unit
val lemma_info : lemma -> string * string option * (Format.formatter -> unit -> unit) list