package psmt2-frontend

  1. Overview
  2. Docs
val inst_and_unify : ('a * Smtlib_ty.ty Smtlib_ty.SMap.t) -> Smtlib_ty.ty Smtlib_ty.IMap.t -> Smtlib_ty.ty -> Smtlib_ty.ty -> (Stdlib.Lexing.position * Stdlib.Lexing.position) option -> unit
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 Stdlib.Stack.t
OCaml

Innovation. Community. Security.