include S
val type_ : hide:bool -> loc:Ppxlib.Location.t -> Ppxlib.core_type -> Ppxlib.core_typetype_ ~hide tyisty -> ty -> result_typewhereresult_typeisintforcompareandboolforequal.hidecontrols whether some[@merlin.hide]attributes should be added.
val core_type : Ppxlib.core_type -> Ppxlib.expressioncore_type tyis an expression of typety -> 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
module Attrs : sig ... endval str_attributes : Ppxlib.Attribute.packed list
val equal_core_type : Ppxlib.core_type -> Ppxlib.expressionequal_core_type tyis an expression of typety -> ty -> bool, using the comparison function generated bycore_type