Module PayloadId.Variants

val annotmap : t Variantslib.Variant.t
val biabduction : t Variantslib.Variant.t
val bufferoverrunanalysis : t Variantslib.Variant.t
val bufferoverrunchecker : t Variantslib.Variant.t
val configimpactanalysis : t Variantslib.Variant.t
val cost : t Variantslib.Variant.t
val disjunctivedemo : t Variantslib.Variant.t
val labresourceleaks : t Variantslib.Variant.t
val lithorequiredprops : t Variantslib.Variant.t
val pulse : t Variantslib.Variant.t
val purity : t Variantslib.Variant.t
val quandary : t Variantslib.Variant.t
val racerd : t Variantslib.Variant.t
val scopeleakage : t Variantslib.Variant.t
val siof : t Variantslib.Variant.t
val lineage : t Variantslib.Variant.t
val lineageshape : t Variantslib.Variant.t
val starvation : t Variantslib.Variant.t
val nullsafe : t Variantslib.Variant.t
val uninit : t Variantslib.Variant.t
val fold : init:'acc__ -> annotmap:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> biabduction:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> bufferoverrunanalysis:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> bufferoverrunchecker:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> configimpactanalysis:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> cost:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> disjunctivedemo:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> labresourceleaks:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> lithorequiredprops:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> pulse:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> purity:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> quandary:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> racerd:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> scopeleakage:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> siof:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> lineage:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> lineageshape:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> starvation:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> nullsafe:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> uninit:('acc__ -> t Variantslib.Variant.t -> 'acc__) -> 'acc__
val iter : annotmap:(t Variantslib.Variant.t -> unit) -> biabduction:(t Variantslib.Variant.t -> unit) -> bufferoverrunanalysis:(t Variantslib.Variant.t -> unit) -> bufferoverrunchecker:(t Variantslib.Variant.t -> unit) -> configimpactanalysis:(t Variantslib.Variant.t -> unit) -> cost:(t Variantslib.Variant.t -> unit) -> disjunctivedemo:(t Variantslib.Variant.t -> unit) -> labresourceleaks:(t Variantslib.Variant.t -> unit) -> lithorequiredprops:(t Variantslib.Variant.t -> unit) -> pulse:(t Variantslib.Variant.t -> unit) -> purity:(t Variantslib.Variant.t -> unit) -> quandary:(t Variantslib.Variant.t -> unit) -> racerd:(t Variantslib.Variant.t -> unit) -> scopeleakage:(t Variantslib.Variant.t -> unit) -> siof:(t Variantslib.Variant.t -> unit) -> lineage:(t Variantslib.Variant.t -> unit) -> lineageshape:(t Variantslib.Variant.t -> unit) -> starvation:(t Variantslib.Variant.t -> unit) -> nullsafe:(t Variantslib.Variant.t -> unit) -> uninit:(t Variantslib.Variant.t -> unit) -> unit
val map : t -> annotmap:(t Variantslib.Variant.t -> 'result__) -> biabduction:(t Variantslib.Variant.t -> 'result__) -> bufferoverrunanalysis:(t Variantslib.Variant.t -> 'result__) -> bufferoverrunchecker:(t Variantslib.Variant.t -> 'result__) -> configimpactanalysis:(t Variantslib.Variant.t -> 'result__) -> cost:(t Variantslib.Variant.t -> 'result__) -> disjunctivedemo:(t Variantslib.Variant.t -> 'result__) -> labresourceleaks:(t Variantslib.Variant.t -> 'result__) -> lithorequiredprops:(t Variantslib.Variant.t -> 'result__) -> pulse:(t Variantslib.Variant.t -> 'result__) -> purity:(t Variantslib.Variant.t -> 'result__) -> quandary:(t Variantslib.Variant.t -> 'result__) -> racerd:(t Variantslib.Variant.t -> 'result__) -> scopeleakage:(t Variantslib.Variant.t -> 'result__) -> siof:(t Variantslib.Variant.t -> 'result__) -> lineage:(t Variantslib.Variant.t -> 'result__) -> lineageshape:(t Variantslib.Variant.t -> 'result__) -> starvation:(t Variantslib.Variant.t -> 'result__) -> nullsafe:(t Variantslib.Variant.t -> 'result__) -> uninit:(t Variantslib.Variant.t -> 'result__) -> 'result__
val make_matcher : annotmap: (t Variantslib.Variant.t -> 'acc__0 -> (unit -> 'result__) * 'acc__1) -> biabduction: (t Variantslib.Variant.t -> 'acc__1 -> (unit -> 'result__) * 'acc__2) -> bufferoverrunanalysis: (t Variantslib.Variant.t -> 'acc__2 -> (unit -> 'result__) * 'acc__3) -> bufferoverrunchecker: (t Variantslib.Variant.t -> 'acc__3 -> (unit -> 'result__) * 'acc__4) -> configimpactanalysis: (t Variantslib.Variant.t -> 'acc__4 -> (unit -> 'result__) * 'acc__5) -> cost:(t Variantslib.Variant.t -> 'acc__5 -> (unit -> 'result__) * 'acc__6) -> disjunctivedemo: (t Variantslib.Variant.t -> 'acc__6 -> (unit -> 'result__) * 'acc__7) -> labresourceleaks: (t Variantslib.Variant.t -> 'acc__7 -> (unit -> 'result__) * 'acc__8) -> lithorequiredprops: (t Variantslib.Variant.t -> 'acc__8 -> (unit -> 'result__) * 'acc__9) -> pulse:(t Variantslib.Variant.t -> 'acc__9 -> (unit -> 'result__) * 'acc__10) -> purity: (t Variantslib.Variant.t -> 'acc__10 -> (unit -> 'result__) * 'acc__11) -> quandary: (t Variantslib.Variant.t -> 'acc__11 -> (unit -> 'result__) * 'acc__12) -> racerd: (t Variantslib.Variant.t -> 'acc__12 -> (unit -> 'result__) * 'acc__13) -> scopeleakage: (t Variantslib.Variant.t -> 'acc__13 -> (unit -> 'result__) * 'acc__14) -> siof:(t Variantslib.Variant.t -> 'acc__14 -> (unit -> 'result__) * 'acc__15) -> lineage: (t Variantslib.Variant.t -> 'acc__15 -> (unit -> 'result__) * 'acc__16) -> lineageshape: (t Variantslib.Variant.t -> 'acc__16 -> (unit -> 'result__) * 'acc__17) -> starvation: (t Variantslib.Variant.t -> 'acc__17 -> (unit -> 'result__) * 'acc__18) -> nullsafe: (t Variantslib.Variant.t -> 'acc__18 -> (unit -> 'result__) * 'acc__19) -> uninit: (t Variantslib.Variant.t -> 'acc__19 -> (unit -> 'result__) * 'acc__20) -> 'acc__0 -> (t -> 'result__) * 'acc__20
val to_rank : t -> int
val to_name : t -> string
val descriptions : (string * int) list