Attributes.Zero_alloc_iftype 'a t = {loc : Astlib.Location.t;expr : ('a, Language.Typed.Expression.singleton) Language.Typed.Expression.t
Ppxlib.Loc.t;args : Astlib.Ast_500.Parsetree.expression list;}Represents attributes that optionally annotate code as zero-alloc. loc is the location of the attribute's payload. expr is the expression (mode, alloc, etc.) to compare against to determine whether to apply [@@zero_alloc]. args is the arguments to be given to the [@@zero_alloc] attribute.