LogicId.space ->
object
  val mutable alpha : bool
  val mutable sigma : LogicId.id LogicRaw.VMAP.t
  method alpha : 'LogicPretty.printer -> 'LogicPretty.printer
  method bind : LogicRaw.VMAP.key list -> (unit -> unit) -> unit
  method binder : LogicRaw.VAR.t -> (LogicPretty.binder -> unit) -> unit
  method id : LogicId.id -> string
  method pp_binder : Format.formatter -> LogicPretty.binder -> unit
  method pp_id : Format.formatter -> LogicId.id -> unit
  method pp_pred : LogicRaw.PRED.t LogicPretty.printer
  method pp_pred_and : Format.formatter -> LogicRaw.PRED.t list -> unit
  method pp_pred_atom : Format.formatter -> LogicRaw.PRED.t -> unit
  method pp_pred_call :
    Format.formatter -> LogicId.id -> LogicRaw.TERM.t list -> unit
  method pp_pred_cond :
    Format.formatter ->
    LogicRaw.TERM.t -> LogicRaw.PRED.t -> LogicRaw.PRED.t -> unit
  method pp_pred_exists :
    Format.formatter -> LogicRaw.VMAP.key list -> LogicRaw.PRED.t -> unit
  method pp_pred_false : Format.formatter -> unit
  method pp_pred_forall :
    Format.formatter -> LogicRaw.VMAP.key list -> LogicRaw.PRED.t -> unit
  method pp_pred_iff :
    Format.formatter -> LogicRaw.PRED.t -> LogicRaw.PRED.t -> unit
  method pp_pred_implies :
    Format.formatter -> LogicRaw.PRED.t list -> LogicRaw.PRED.t -> unit
  method pp_pred_let :
    Format.formatter ->
    LogicRaw.VAR.t -> LogicRaw.TERM.t -> LogicRaw.PRED.t -> unit
  method pp_pred_named :
    Format.formatter -> LogicId.id list -> LogicRaw.PRED.t -> unit
  method pp_pred_not : Format.formatter -> LogicRaw.PRED.t -> unit
  method pp_pred_or : Format.formatter -> LogicRaw.PRED.t list -> unit
  method pp_pred_relation :
    Format.formatter ->
    LogicRaw.PRED.relation -> LogicRaw.TERM.t list -> unit
  method pp_pred_true : Format.formatter -> unit
  method pp_tau : Format.formatter -> LogicTau.tau -> unit
  method pp_tau_adt :
    Format.formatter -> LogicId.id -> LogicTau.tau list -> unit
  method pp_tau_alpha : Format.formatter -> int -> unit
  method pp_tau_array :
    Format.formatter -> LogicTau.tau -> LogicTau.tau -> unit
  method pp_tau_bool : Format.formatter -> unit
  method pp_tau_int : Format.formatter -> unit
  method pp_tau_pointer : Format.formatter -> unit
  method pp_tau_real : Format.formatter -> unit
  method pp_tau_record : Format.formatter -> LogicId.id -> unit
  method pp_tau_set : Format.formatter -> LogicTau.tau -> unit
  method pp_term : LogicRaw.TERM.t LogicPretty.printer
  method pp_term_access :
    Format.formatter -> LogicRaw.TERM.t -> LogicRaw.TERM.t -> unit
  method pp_term_atom : Format.formatter -> LogicRaw.TERM.t -> unit
  method pp_term_call :
    Format.formatter -> LogicId.id -> LogicRaw.TERM.t list -> unit
  method pp_term_cond :
    Format.formatter ->
    LogicRaw.TERM.t -> LogicRaw.TERM.t -> LogicRaw.TERM.t -> unit
  method pp_term_extern :
    Format.formatter -> string -> LogicRaw.TERM.t list -> unit
  method pp_term_false : Format.formatter -> unit
  method pp_term_getfield :
    Format.formatter -> LogicRaw.TERM.t -> LogicTau.field -> unit
  method pp_term_int : Format.formatter -> string -> unit
  method pp_term_let :
    Format.formatter ->
    LogicRaw.VAR.t -> LogicRaw.TERM.t -> LogicRaw.TERM.t -> unit
  method pp_term_operator :
    Format.formatter -> LogicPretty.operator -> LogicRaw.TERM.t list -> unit
  method pp_term_primitive :
    Format.formatter ->
    LogicRaw.TERM.primitive -> LogicRaw.TERM.t list -> unit
  method pp_term_real : Format.formatter -> string -> unit
  method pp_term_setfield :
    Format.formatter ->
    LogicRaw.TERM.t -> LogicTau.field -> LogicRaw.TERM.t -> unit
  method pp_term_true : Format.formatter -> unit
  method pp_term_update :
    Format.formatter ->
    LogicRaw.TERM.t -> LogicRaw.TERM.t -> LogicRaw.TERM.t -> unit
  method pp_var : Format.formatter -> LogicRaw.VMAP.key -> unit
  method pp_vartype : Format.formatter -> LogicRaw.VMAP.key -> unit
  method pred_atomic : LogicRaw.PRED.t -> bool
  method pred_relation : LogicRaw.PRED.relation -> LogicPretty.operator
  method term_atomic : LogicRaw.TERM.t -> bool
  method term_call : LogicPretty.call_style
  method term_operator : LogicRaw.TERM.primitive -> LogicPretty.operator
  method var_id : LogicRaw.VMAP.key -> LogicId.id
  method with_binder :
    LogicPretty.binder -> 'LogicPretty.printer -> 'LogicPretty.printer
end