val type_ : loc:Ppxlib.Location.t -> Ppxlib.core_type -> Ppxlib.core_type
type_ ty
is ty -> ty -> result_type
where result_type
is int
for compare
and bool
for equal
.
val core_type : Ppxlib.core_type -> Ppxlib.expression
core_type ty
is an expression of type ty -> ty -> result_type
val str_type_decl : loc:Ppxlib.Location.t -> path:string -> (Ppxlib.rec_flag * Ppxlib.type_declaration list) -> Ppxlib.structure
val sig_type_decl : loc:Ppxlib.Location.t -> path:string -> (Ppxlib.rec_flag * Ppxlib.type_declaration list) -> Ppxlib.signature
module Attrs : sig ... end
val str_attributes : Ppxlib.Attribute.packed list