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 staticconstructorstallchecker : 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 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 fold : init:'acc__0 -> annotmap:('acc__0 -> t Variantslib.Variant.t -> 'acc__1) -> biabduction:('acc__1 -> t Variantslib.Variant.t -> 'acc__2) -> bufferoverrunanalysis:('acc__2 -> t Variantslib.Variant.t -> 'acc__3) -> bufferoverrunchecker:('acc__3 -> t Variantslib.Variant.t -> 'acc__4) -> configimpactanalysis:('acc__4 -> t Variantslib.Variant.t -> 'acc__5) -> cost:('acc__5 -> t Variantslib.Variant.t -> 'acc__6) -> disjunctivedemo:('acc__6 -> t Variantslib.Variant.t -> 'acc__7) -> staticconstructorstallchecker:('acc__7 -> t Variantslib.Variant.t -> 'acc__8) -> labresourceleaks:('acc__8 -> t Variantslib.Variant.t -> 'acc__9) -> lithorequiredprops:('acc__9 -> t Variantslib.Variant.t -> 'acc__10) -> pulse:('acc__10 -> t Variantslib.Variant.t -> 'acc__11) -> purity:('acc__11 -> t Variantslib.Variant.t -> 'acc__12) -> racerd:('acc__12 -> t Variantslib.Variant.t -> 'acc__13) -> scopeleakage:('acc__13 -> t Variantslib.Variant.t -> 'acc__14) -> siof:('acc__14 -> t Variantslib.Variant.t -> 'acc__15) -> lineage:('acc__15 -> t Variantslib.Variant.t -> 'acc__16) -> lineageshape:('acc__16 -> t Variantslib.Variant.t -> 'acc__17) -> starvation:('acc__17 -> t Variantslib.Variant.t -> 'acc__18) -> 'acc__18
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) -> staticconstructorstallchecker:(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) -> 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) -> 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__) -> staticconstructorstallchecker:(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__) -> 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__) -> '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) -> staticconstructorstallchecker: (t Variantslib.Variant.t -> 'acc__7 -> (unit -> 'result__) * 'acc__8) -> labresourceleaks: (t Variantslib.Variant.t -> 'acc__8 -> (unit -> 'result__) * 'acc__9) -> lithorequiredprops: (t Variantslib.Variant.t -> 'acc__9 -> (unit -> 'result__) * 'acc__10) -> pulse:(t Variantslib.Variant.t -> 'acc__10 -> (unit -> 'result__) * 'acc__11) -> purity: (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) -> 'acc__0 -> (t -> 'result__) * 'acc__18
val to_rank : t -> int
val to_name : t -> string
val descriptions : (string * int) list