Make (hax-engine.Hax_engine.Attr

Parameters

module F : Features.T

module Error : Phase_utils.ERROR

module AST : sig ... end

module U : sig ... end

include sig ... end

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

val status : Ast.attrs -> Types.ha_item_status

val late_skip : Ast.attrs -> Prelude.bool

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

val lemma : Ast.attrs -> Prelude.bool

val raw_associated_item : Ast.attrs -> (AssocRole.t * UId.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) : WITH_ITEMS

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