package psmt2-frontend

  1. Overview
  2. Docs
val check_if_dummy : 'a Smtlib_syntax.data -> 'a Smtlib_syntax.data list -> 'a Smtlib_syntax.data list
val check_if_escaped : 'a Smtlib_syntax.data list -> unit
val type_cst : Smtlib_syntax.constant -> 'a -> Smtlib_ty.ty
val assertion_stack : Smtlib_typed_env.env Stack.t
OCaml

Innovation. Community. Security.