package smtml

  1. Overview
  2. Docs
type t =
  1. | Assert of Expr.t
  2. | Check_sat
  3. | Push
  4. | Pop of int
  5. | Let_const of Symbol.t
  6. | Get_model
  7. | Set_logic of Ty.logic
val pp : Stdlib.Format.formatter -> t -> unit
val to_string : t -> string
OCaml

Innovation. Community. Security.