module Accel_ocaml: sig
.. end
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 -> env
val rename_tvars : Names.Idset.t -> Names.identifier list -> Names.identifier list
val push_vars : Names.identifier list ->
env -> Names.identifier list * env
val get_db_name : int -> 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