Attr_payloads (hax-engine.Hax_engine.Attr

val payloads : Ast.attrs -> (Types.ha_payload * Ast.span) Prelude.list

Parse _hax::json attributes

val to_attr : Types.ha_payload -> Ast.span -> Ast.attr

Create a attribute out of a payload

module UId : sig ... end

module AssocRole : sig ... end

module MakeBase (Error : Phase_utils.ERROR) : sig ... end

module Make (F : Features.T) (Error : Phase_utils.ERROR) : sig ... end