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_attributes : Ppx_core.Attribute.packed Ppx_core.list
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
module Attrs : sig ... end