sig
  val pp_par : bool -> Pp.std_ppcmds -> Pp.std_ppcmds
  val pp_abst : Names.identifier list -> Pp.std_ppcmds
  val pp_apply : Pp.std_ppcmds -> bool -> Pp.std_ppcmds list -> Pp.std_ppcmds
  val pr_binding : Names.identifier list -> Pp.std_ppcmds
  val rename_id : Names.identifier -> Names.Idset.t -> Names.identifier
  val lowercase_id : Names.identifier -> Names.identifier
  val uppercase_id : Names.identifier -> Names.identifier
  val pr_upper_id : Names.identifier -> Pp.std_ppcmds
  type env = Names.identifier list * Names.Idset.t
  val rename_vars : Names.Idset.t -> Names.identifier list -> Accel_ocaml.env
  val rename_tvars :
    Names.Idset.t -> Names.identifier list -> Names.identifier list
  val push_vars :
    Names.identifier list ->
    Accel_ocaml.env -> Names.identifier list * Accel_ocaml.env
  val get_db_name : int -> Accel_ocaml.env -> Names.identifier
  val keywords : Names.Idset.t
  val preamble :
    Miniml.extraction_params ->
    Names.module_path list -> bool * bool * bool -> bool -> Pp.std_ppcmds
  val preamble_sig :
    Miniml.extraction_params ->
    Names.module_path list -> bool * bool * bool -> Pp.std_ppcmds
  module Make : functor (P : Miniml.Mlpp_param-> Miniml.Mlpp
end