pa_ppx 0.15 · OCaml Package

val debug : bool ref

val mli_only : bool ref

val redeclare : bool ref

val predicates : string list ref

val lookup_path : string list ref

val reset_switches : unit -> unit

val add_predicates : string -> unit

val add_package : string -> unit

val add_include : string -> unit

val pp_report : Format.formatter -> unit -> unit

val report : unit -> unit

val lookup1 : string -> string -> Fpath.t

val lookup_file : string -> string -> string

module CMI : sig ... end

module MLI : sig ... end

module Lookup : sig ... end

val logged_parse : (string -> 'a) -> string -> 'a

module RM : sig ... end

val substitute_ctyp : 
  (MLast.ctyp * MLast.ctyp) list ->
  MLast.ctyp ->
  MLast.ctyp

val expr_to_ctyp0 : MLast.expr -> MLast.ctyp

val expr_to_ctyp : 'a -> MLast.expr -> MLast.ctyp

val assignment_to_subst : MLast.expr -> (MLast.ctyp * MLast.ctyp) list

val extend_renmap : 
  (('a * string) Ploc.vala * MLast.payload) Ploc.vala ->
  (MLast.ctyp * MLast.ctyp) list ->
  (MLast.ctyp * MLast.ctyp) list

val extract_with_attributes : 
  MLast.attribute list ->
  MLast.attribute list * MLast.attribute list

val extract_synonym_attributes : 
  MLast.attribute list ->
  MLast.attribute list * MLast.attribute list

val extract_add_attributes : 
  MLast.attribute list ->
  MLast.attribute list * MLast.attribute list

type unpacked_t = {

}

val unpack_imported_type : 
  Pa_ppx_base.Pa_passthru.Ctxt.t ->
  MLast.ctyp ->
  unpacked_t

val import_type : 
  Pa_ppx_base.Pa_passthru.Ctxt.t ->
  ('a * 'b) ->
  MLast.ctyp ->
  MLast.ctyp

val rewrite_import : MLast.str_item -> MLast.str_item

val expand_add_attribute : 
  Pa_ppx_base.Pa_passthru.Ctxt.t ->
  Pa_ppx_base.Pp_MLast.attribute ->
  MLast.type_decl list

val import_typedecl_group : 
  Pa_ppx_base.Pa_passthru.Ctxt.t ->
  MLast.ctyp ->
  MLast.attributes_no_anti ->
  bool * MLast.type_decl list

val registered_str_item_extension : 
  Pa_ppx_base.Pa_passthru.Ctxt.t ->
  MLast.str_item ->
  MLast.str_item

val registered_sig_item_extension : 
  Pa_ppx_base.Pa_passthru.Ctxt.t ->
  MLast.sig_item ->
  MLast.sig_item

val registered_module_type_extension : 
  'a ->
  MLast.module_type ->
  MLast.module_type option

val install : unit -> unit

package pa_ppx