Module Smtml.Ast

type t =
  1. | Assert of Expr.t
  2. | Check_sat of Expr.t list
  3. | Declare_const of {
    1. id : Symbol.t;
    2. sort : Symbol.t;
    }
  4. | Declare_fun of {
    1. id : Symbol.t;
    2. args : Symbol.t list;
    3. sort : Symbol.t;
    }
  5. | Echo of string
  6. | Exit
  7. | Get_assertions
  8. | Get_assignment
  9. | Get_info of string
  10. | Get_option of string
  11. | Get_model
  12. | Get_value of Expr.t list
  13. | Pop of int
  14. | Push of int
  15. | Reset
  16. | Reset_assertions
  17. | Set_info of Expr.t
  18. | Set_logic of Logic.t
  19. | Set_option of Expr.t
val pp : Format.formatter -> t -> unit
val to_string : t -> string
module Script : sig ... end