Module Ppx_compare_expander

val compare_type : loc:Ppx_core.Location.t ‑> Ppx_core.core_type ‑> Ppx_core.core_type

compare_type ty is ty -> ty -> int

val compare_core_type : Ppx_core.core_type ‑> Ppx_core.expression

compare_core_type ty is an expression of type ty -> ty -> int

val equal_type : loc:Ppx_core.Location.t ‑> Ppx_core.core_type ‑> Ppx_core.core_type

equal_type ty is ty -> ty -> bool

val equal_core_type : Ppx_core.core_type ‑> Ppx_core.expression

equal_core_type ty is an expression of type ty -> ty -> bool, using the comparison function generated by compare_core_type

val str_type_decl : loc:Ppx_core.Location.t ‑> path:Ppx_core.string ‑> (Ppx_core.rec_flag * Ppx_core.type_declaration Ppx_core.list) ‑> Ppx_core.structure

val sig_type_decl : loc:Ppx_core.Location.t ‑> path:Ppx_core.string ‑> (Ppx_core.rec_flag * Ppx_core.type_declaration Ppx_core.list) ‑> Ppx_core.signature