Pa_deriving_eq
module PM : sig ... end
val fmt_expression :
Pa_ppx_base.Pa_passthru.Ctxt.t ->
?coercion:MLast.ctyp ->
PM.param_t list ->
MLast.ctyp ->
MLast.expr
val fmt_top :
Pa_ppx_base.Pa_passthru.Ctxt.t ->
coercion:MLast.ctyp ->
PM.param_t list ->
MLast.ctyp ->
MLast.expr
val str_item_top_funs :
Pa_ppx_base.Pa_passthru.Ctxt.t ->
MLast.type_decl ->
(string * MLast.expr) list
val sig_item_top_funs : 'a -> MLast.type_decl -> (string * MLast.ctyp) list
val str_item_funs :
Pa_ppx_base.Pa_passthru.Ctxt.t ->
MLast.type_decl ->
(MLast.patt
* MLast.expr
* ((MLast.loc * string) Ploc.vala * MLast.payload) Ploc.vala list Ploc.vala)
list
val sig_items : 'a -> MLast.type_decl -> MLast.sig_item list
val extend_sig_items : 'a -> MLast.sig_item -> MLast.sig_item list
val extend_str_items :
Pa_ppx_base.Pa_passthru.Ctxt.t ->
MLast.str_item ->
MLast.str_item list
val str_item_gen_eq0 :
Pa_ppx_base.Pa_passthru.Ctxt.t ->
MLast.type_decl ->
(MLast.patt
* MLast.expr
* ((MLast.loc * string) Ploc.vala * MLast.payload) Ploc.vala list Ploc.vala)
list
val str_item_gen_eq :
'a ->
Pa_ppx_base.Pa_passthru.Ctxt.t ->
MLast.str_item ->
MLast.str_item
val sig_item_gen_eq : 'a -> 'b -> MLast.sig_item -> MLast.sig_item
val expr_eq : Pa_ppx_base.Pa_passthru.Ctxt.t -> MLast.expr -> MLast.expr
val ctyp_eq : 'a -> MLast.ctyp -> MLast.ctyp