Attrs (ppx_sexp_conv.ppx_sexp_conv.expander.Ppx_sexp_conv

module To_lift : sig ... end

default, drop_default, and drop_if attributes are annotated with expressions that should be lifted out of the scope of ppx-generated temporary variables. See the Lifted module.

val default : 
  (Ppxlib.label_declaration, Ppxlib.expression To_lift.t) Ppxlib.Attribute.t

val drop_default : 
  (Ppxlib.label_declaration, Ppxlib.expression To_lift.t) Ppxlib.Attribute.t

val drop_if : 
  (Ppxlib.label_declaration, Ppxlib.expression To_lift.t) Ppxlib.Attribute.t

val drop_default_equal : (Ppxlib.label_declaration, unit) Ppxlib.Attribute.t

val drop_default_compare : (Ppxlib.label_declaration, unit) Ppxlib.Attribute.t

val drop_default_sexp : (Ppxlib.label_declaration, unit) Ppxlib.Attribute.t

val omit_nil : (Ppxlib.label_declaration, unit) Ppxlib.Attribute.t

val option : (Ppxlib.label_declaration, unit) Ppxlib.Attribute.t

val or_null : (Ppxlib.label_declaration, unit) Ppxlib.Attribute.t

val list : (Ppxlib.label_declaration, unit) Ppxlib.Attribute.t

val array : (Ppxlib.label_declaration, unit) Ppxlib.Attribute.t

val bool : (Ppxlib.label_declaration, unit) Ppxlib.Attribute.t

val opaque : (Ppxlib.core_type, unit) Ppxlib.Attribute.t

val phantom : (Ppxlib.core_type, unit) Ppxlib.Attribute.t

val list_variant : (Ppxlib.constructor_declaration, unit) Ppxlib.Attribute.t

val list_exception : (Ppxlib.type_exception, unit) Ppxlib.Attribute.t

val list_poly : (Ppxlib.row_field, unit) Ppxlib.Attribute.t

val allow_extra_fields_td : (Ppxlib.type_declaration, unit) Ppxlib.Attribute.t

val allow_extra_fields_cd : 
  (Ppxlib.constructor_declaration, unit) Ppxlib.Attribute.t

val invalid_attribute : 
  loc:Ppxlib.Location.t ->
  (_, _) Ppxlib.Attribute.t ->
  string ->
  'a

val fail_if_allow_extra_field_cd : 
  loc:Ppxlib.Location.t ->
  Ppxlib.constructor_declaration ->
  unit

val fail_if_allow_extra_field_td : 
  loc:Ppxlib.Location.t ->
  Ppxlib.type_declaration ->
  unit

val grammar_any : (Ppxlib.core_type, string option) Ppxlib.Attribute.t

val grammar_custom : (Ppxlib.core_type, Ppxlib.expression) Ppxlib.Attribute.t

val tag_type : 
  (Ppxlib.core_type, (Ppxlib.expression * Ppxlib.expression) list)
    Ppxlib.Attribute.t

val tag_ld : 
  (Ppxlib.label_declaration, (Ppxlib.expression * Ppxlib.expression) list)
    Ppxlib.Attribute.t

val tag_cd : 
  (Ppxlib.constructor_declaration,
    (Ppxlib.expression * Ppxlib.expression) list)
    Ppxlib.Attribute.t

val tag_poly : 
  (Ppxlib.row_field, (Ppxlib.expression * Ppxlib.expression) list)
    Ppxlib.Attribute.t

val tags_type : (Ppxlib.core_type, Ppxlib.expression) Ppxlib.Attribute.t

val tags_ld : (Ppxlib.label_declaration, Ppxlib.expression) Ppxlib.Attribute.t

val tags_cd : 
  (Ppxlib.constructor_declaration, Ppxlib.expression) Ppxlib.Attribute.t

val tags_poly : (Ppxlib.row_field, Ppxlib.expression) Ppxlib.Attribute.t