MakeBase (hax-engine.Hax_engine.Attr

Parameters

module Error : Phase_utils.ERROR

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 order : Ast.attrs -> Prelude.int Prelude.option

Extracts an `Order` attribute if it exists.

val late_skip : Ast.attrs -> Prelude.bool

val is_erased : 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