Parameter MakePhaseImplemT.A

type 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'
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 = {
  1. v : item';
  2. span : Ast.span;
  3. ident : Concrete_ident.t;
  4. attrs : Ast.attrs;
}
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 : Ast.span -> Concrete_ident.t -> Prelude.string -> item