module Fol_pretty: sig
.. end
val constant : Format.formatter -> Fol.constant -> unit
val pp_list : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
val pp_flow : Format.formatter ->
string -> string -> (Format.formatter -> 'a -> unit) -> 'a list -> unit
val pp_block : Format.formatter ->
string -> string -> (Format.formatter -> 'a -> unit) -> 'a list -> unit
val pp_var : Format.formatter -> Fol.Var.t -> unit
val collect_assoc : string -> 'a Fol.d_term list -> 'a Fol.d_term list -> 'a Fol.d_term list
val fpp_term : (Format.formatter -> 'a Fol.d_term -> unit) ->
(Format.formatter -> 'a -> unit) -> Format.formatter -> 'a Fol.d_term -> unit
val fpretty_term : (Format.formatter -> 'a Fol.d_term -> unit) ->
(Format.formatter -> 'a -> unit) -> Format.formatter -> 'a Fol.d_term -> unit
val collect_or : 'a Fol.t_pred list -> 'a Fol.t_pred -> 'a Fol.t_pred list
val collect_and : 'a Fol.t_pred list -> 'a Fol.t_pred -> 'a Fol.t_pred list
val collect_imply : 'a Fol.t_pred list -> 'a Fol.t_pred -> 'a Fol.t_pred list
val collect_iff : 'a Fol.t_pred list -> 'a Fol.t_pred -> 'a Fol.t_pred list
type 'a
pp = Format.formatter -> 'a -> unit
type 'a
pp_env = {
}
val epp_pred_vbox : 'a pp_env -> Format.formatter -> 'a Fol.d_pred -> unit
val epp_pred_atom : 'a pp_env -> Format.formatter -> 'a Fol.d_pred -> unit
val epp_pred_named : 'a pp_env -> Format.formatter -> 'a Fol.d_pred -> unit
val fpp_pred : (Format.formatter -> 'a Fol.t_pred -> unit) ->
(Format.formatter -> 'a -> unit) ->
(Format.formatter -> Formula.tau -> unit) ->
Format.formatter -> 'a Fol.t_pred -> unit
val fpp_item : (Format.formatter -> 'a -> unit) ->
(Format.formatter -> Formula.tau -> unit) ->
Format.formatter -> string -> 'a Formula.item -> unit
val fpp_header : Format.formatter -> 'a Formula.declaration -> unit
val fpp_decl : (Format.formatter -> 'a -> unit) ->
(Format.formatter -> Formula.tau -> unit) ->
Format.formatter -> 'a Formula.declaration -> unit
val fpp_goal : (Format.formatter -> 'a -> unit) -> Format.formatter -> string -> 'a -> unit
module Create: functor (
T
:
sig
end
) ->
sig
.. end