Ppx_compare_expander.CompareSourceinclude Stype_ ~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.signatureequal_core_type ty is an expression of type ty -> ty -> bool, using the comparison function generated by core_type