Module `Metapp_ppx`

module Counter : sig ... end

val extension_of_index : int -> Ppxlib.extension

val deref : Ppxlib.expression -> Ppxlib.expression

val array_get : Ppxlib.expression -> int -> Ppxlib.expression

val array_set : 
  Ppxlib.expression ->
  int ->
  Ppxlib.expression ->
  Ppxlib.expression

val string_list_of_payload : Ppxlib.payload -> string list

module Options : sig ... end

type instruction =

val get_expression : instruction -> Ppxlib.expression

module AccuTypes : sig ... end

module MutableQuotations : 
  Metapp_api.QuotationsWithMakeS with type 'a x = 'a AccuQuotation.t

module AccuQuotation : 
  Metapp_api.UnaryMakeS with type 'a t = 'a AccuTypes.quotations

module MutableMetapoints : 
  Metapp_api.MetapointsWithMakeS with type 'a x = 'a AccuMetapoint.t

module AccuMetapoint : 
  Metapp_api.UnaryMakeS with type 'a t = 'a AccuTypes.metapoints

module type MetapointsMapperS =
  functor (Metapoint : Metapp_api.MetapointS) ->
  sig ... end

module Metapoint_mapper (Mapper : MetapointsMapperS) : sig ... end

val unmut_metapoints : 
  MutableMetapoints.t ->
  Metapp_api.OptionArrayMetapoints.t

val unmut_loc : MutableMetapoints.t -> Metapp_api.MetapointsLocation.t

val unmut_subquotations : MutableQuotations.t -> Metapp_api.ArrayQuotations.t

val context_var : string

val fill_var : string

val metapoints_field : string

val loc_field : string

val subquotations_field : string

val field_get : Ppxlib.expression -> string -> Ppxlib.expression

val context_get : string -> Ppxlib.expression

val replace_metapoints : 
  Metapp_api.OptionArrayMetapoints.t ->
  Ppxlib.Ast_traverse.map

val metapp_api : Longident.t

module type Map = sig ... end

val extract_subquotations : MutableQuotations.t -> Ppxlib.Ast_traverse.map

val extract_metapoints : unit -> (module Map) * (unit -> unit AccuTypes.escape)

val transform : 
  Ppxlib.structure Metapp_preutils.map ->
  (Ppxlib.Ast_traverse.map -> 'a Metapp_preutils.map) ->
  'a ->
  'a

val map : Ppxlib.Ast_traverse.map

Install