jon.recoil.org

Module Attribute_handler.Exclave_ifSource

Sourcetype ('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.

Sourcemodule Reason : sig ... end