Module Attributes.Exclave_if

type ('typ, 'reasons) t = {
  1. expr : ('typ, Language.Typed.Expression.singleton) Language.Typed.Expression.t Ppxlib.Loc.t;
  2. reasons : 'reasons;
}

Represents attributes that introduce conditional exclaves into the code. loc is the location of the attribute's payload. expr is the expression (mode, alloc, etc.) to compare against to determine whether to apply [@@exclave_if_*]. reasons is the list of reasons for applying unconditionally, out of a list of pre-defined reasons.

module Reason : sig ... end