package smtml

You can search for identifiers within the package.

in-package search v0.2.0

Module `DolmenIntf.Smtlib`Source

val pp : 
  ?name:string ->
  ?logic:Logic.t ->
  ?status:[ `Sat | `Unknown | `Unsat ] ->
  term list Fmt.t