Attrs (hax-engine.Fstar

module AST : sig ... end

module U : sig ... end

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

val status : Hax_engine.Ast.attrs -> Hax_engine.Types.ha_item_status

val late_skip : Hax_engine.Ast.attrs -> Hax_engine.Prelude.bool

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

val lemma : Hax_engine.Ast.attrs -> Hax_engine.Prelude.bool

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

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

module type WITH_ITEMS = sig ... end

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

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