Attrs (hax-engine.Hax_engine.Backend.Make.Attrs)

module AST : sig ... end

module U : sig ... end

val find_unique_attr : 
  Ast.attrs ->
  f:(Types.ha_payload -> 'a Prelude.option) ->
  'a Prelude.option

val status : Ast.attrs -> Types.ha_item_status

val late_skip : Ast.attrs -> Prelude.bool

val is_erased : Ast.attrs -> Prelude.bool

val uid : Ast.attrs -> Hax_engine__Attr_payloads.UId.T.t Prelude.option

val lemma : Ast.attrs -> Prelude.bool

val raw_associated_item : 
  Ast.attrs ->
  (Hax_engine__Attr_payloads.AssocRole.T.t * Hax_engine__Attr_payloads.UId.T.t)
    Prelude.list

val attrs_field : AST.item -> Hax_engine__Ast.attr Prelude.list

module type WITH_ITEMS = sig ... end

module WithItems (I : sig ... end) : sig ... end

val with_items : AST.item Prelude.list -> (module WITH_ITEMS)