Pa_deriving_base (pa_ppx.Pa_ppx_deriving.Pa_deriving

module ParamMap (ARG : sig ... end) : sig ... end

val monomorphize_ctyp : MLast.ctyp -> MLast.ctyp

val is_type_abbreviation : MLast.ctyp -> bool

val type_params : MLast.ctyp -> string list

val extract_allowed_attribute_expr : 
  Pa_ppx_base.Pa_passthru.Ctxt.t ->
  (string * string) ->
  (('a * string) Ploc.vala * MLast.payload) Ploc.vala list ->
  MLast.expr option