Module D1'.A

type expr = D1.A.expr
val pp_expr : Ppx_deriving_runtime.Format.formatter -> expr -> Ppx_deriving_runtime.unit
val show_expr : expr -> Ppx_deriving_runtime.string
val compare_expr : expr -> expr -> Prelude.int
val yojson_of_expr : expr -> Ppx_yojson_conv_lib.Yojson.Safe.t
val expr_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> expr
type item' = D1.A.item'
val pp_item' : Ppx_deriving_runtime.Format.formatter -> item' -> Ppx_deriving_runtime.unit
val show_item' : item' -> Ppx_deriving_runtime.string
val compare_item' : item' -> item' -> Prelude.int
val yojson_of_item' : item' -> Ppx_yojson_conv_lib.Yojson.Safe.t
val item'_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> item'
type item = D1.A.item = {
  1. v : item';
  2. span : Span.t;
  3. ident : Concrete_ident.t;
  4. attrs : Hax_engine__Ast.attr Prelude.list;
}
val pp_item : Ppx_deriving_runtime.Format.formatter -> item -> Ppx_deriving_runtime.unit
val show_item : item -> Ppx_deriving_runtime.string
val compare_item : item -> item -> Prelude.int
val yojson_of_item : item -> Ppx_yojson_conv_lib.Yojson.Safe.t
val item_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> item
val make_hax_error_item : Span.t -> Concrete_ident.t -> Prelude.string -> item