psmt2-frontend 0.4.0 · OCaml Package

val print_ty : bool

val fmt : out_channel

val print_list : ('a -> string) -> 'a list -> string

val print_constant : Smtlib_syntax.constant -> string

val print_identifier : 
  Smtlib_syntax.identifier_aux Smtlib_syntax.data ->
  string

val print_sorted_var : 
  (string Smtlib_syntax.data * Smtlib_syntax.sort_aux Smtlib_syntax.data) ->
  string

val print_qualid : 
  Smtlib_syntax.qualidentifier_aux Smtlib_syntax.data ->
  string

val print_var_binding : Smtlib_syntax.varbinding -> string

val print_var_bindings : Smtlib_syntax.varbinding list -> string

val print_term : Smtlib_syntax.term_aux Smtlib_syntax.data -> string

val print_pars : string Smtlib_syntax.data list -> string

val print_sorts : Smtlib_syntax.sort_aux Smtlib_syntax.data list -> string

val print_sorted_vars : Smtlib_syntax.sorted_var list -> string

val print_assert : 
  string Smtlib_syntax.data list ->
  Smtlib_syntax.term_aux Smtlib_syntax.data ->
  string

val print_const_dec : 
  string Smtlib_syntax.data list ->
  Smtlib_syntax.sort_aux Smtlib_syntax.data ->
  string

val print_fun_dec : 
  (string Smtlib_syntax.data list
   * Smtlib_syntax.sort_aux Smtlib_syntax.data list
   * Smtlib_syntax.sort_aux Smtlib_syntax.data) ->
  string

val print_fun_def : 
  (string Smtlib_syntax.data
   * string Smtlib_syntax.data list
   * Smtlib_syntax.sorted_var list
   * Smtlib_syntax.sort_aux Smtlib_syntax.data) ->
  string

val print_sort_dec : (string Smtlib_syntax.data * string) -> string

val print_selector : 
  (string Smtlib_syntax.data * Smtlib_syntax.sort_aux Smtlib_syntax.data) ->
  string

val print_cst_dec : 
  (string Smtlib_syntax.data
   * (string Smtlib_syntax.data * Smtlib_syntax.sort_aux Smtlib_syntax.data)
       list) ->
  string

val print_dt_dec : 
  (string Smtlib_syntax.data list
   * (string Smtlib_syntax.data
      * (string Smtlib_syntax.data * Smtlib_syntax.sort_aux Smtlib_syntax.data)
          list)
       list) ->
  string

val print_pro_lit : Smtlib_syntax.prop_literal_aux Smtlib_syntax.data -> string

val print_option : 'a -> string

val print_info : 'a -> string

val print_attribute : 'a -> string

val print_command : Smtlib_syntax.command_aux Smtlib_syntax.data -> unit

val print : Smtlib_syntax.command_aux Smtlib_syntax.data list -> unit

val print_sort : string -> (int * int) -> unit

val print_fun : string -> Smtlib_typed_env.fun_def -> unit

val print_par_fun : string -> 'a -> unit

val print_env : Smtlib_typed_env.env -> unit

package psmt2-frontend