Ppx_compare_expander.EqualSourcetype_ ~hide ty is ty -> ty -> result_type where result_type is int for compare and bool for equal.
hide controls whether some [@merlin.hide] attributes should be added.
core_type ty is an expression of type ty -> ty -> result_type
val str_type_decl :
ctxt:Ppxlib.Expansion_context.Deriver.t ->
(Ppxlib.rec_flag * Ppxlib.type_declaration list) ->
Ppxlib.structureval sig_type_decl :
ctxt:Ppxlib.Expansion_context.Deriver.t ->
(Ppxlib.rec_flag * Ppxlib.type_declaration list) ->
Ppxlib.signature