Module `Psmt2Frontend.Smtlib_printer`Source

Sourceval print_ty : bool

Sourceval fmt : out_channel

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

Sourceval print_constant : Smtlib_syntax.constant -> string

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

Source

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

Source

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

Sourceval print_var_binding : Smtlib_syntax.varbinding -> string

Sourceval print_var_bindings : Smtlib_syntax.varbinding list -> string

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

Sourceval print_pars : string Smtlib_syntax.data list -> string

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

Sourceval print_sorted_vars : Smtlib_syntax.sorted_var list -> string

Source

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

Source

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

Source

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

Source

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

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

Source

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

Source

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

Source

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

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

Sourceval print_option : 'a -> string

Sourceval print_info : 'a -> string

Sourceval print_attribute : 'a -> string

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

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

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

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

Sourceval print_par_fun : string -> 'a -> unit

Sourceval print_env : Smtlib_typed_env.env -> unit

package psmt2-frontend

Module Psmt2Frontend.Smtlib_printerSource

Module `Psmt2Frontend.Smtlib_printer`Source