Module `Payloads.Fields`

val names : string list
val uninit : (t, Checkers.UninitDomain.Summary.t option) Fieldslib.Field.t
val nullsafe : (t, Nullsafe.NullsafeSummary.t option) Fieldslib.Field.t
val starvation : (t, Concurrency.StarvationDomain.summary option) Fieldslib.Field.t
val siof : (t, Checkers.SiofDomain.Summary.t option) Fieldslib.Field.t
val racerd : (t, Concurrency.RacerDDomain.summary option) Fieldslib.Field.t
val quandary : (t, Quandary.QuandarySummary.t option) Fieldslib.Field.t
val purity : (t, Checkers.PurityDomain.summary option) Fieldslib.Field.t
val pulse : (t, Pulselib.PulseSummary.t option) Fieldslib.Field.t
val litho_required_props : (t, Checkers.LithoDomain.summary option) Fieldslib.Field.t
val dotnet_resource_leaks : (t, Dotnet.ResourceLeakCSDomain.summary option) Fieldslib.Field.t
val lab_resource_leaks : (t, Labs.ResourceLeakDomain.summary option) Fieldslib.Field.t
val cost : (t, Costlib.CostDomain.summary option) Fieldslib.Field.t
val config_impact_analysis : (t, Costlib.ConfigImpactAnalysis.Summary.t option) Fieldslib.Field.t
val config_checks_between_markers : (t, Checkers.ConfigChecksBetweenMarkers.Summary.t option) Fieldslib.Field.t
val buffer_overrun_checker : (t, BO.BufferOverrunCheckerSummary.t option) Fieldslib.Field.t
val buffer_overrun_analysis : (t, BO.BufferOverrunAnalysisSummary.t option) Fieldslib.Field.t
val biabduction : (t, Biabduction.BiabductionSummary.t option) Fieldslib.Field.t
val annot_map : (t, Checkers.AnnotationReachabilityDomain.t option) Fieldslib.Field.t
val fold : init:'acc__0 -> annot_map:('acc__0 -> (t, Checkers.AnnotationReachabilityDomain.t option) Fieldslib.Field.t -> 'acc__1) -> biabduction:('acc__1 -> (t, Biabduction.BiabductionSummary.t option) Fieldslib.Field.t -> 'acc__2) -> buffer_overrun_analysis:('acc__2 -> (t, BO.BufferOverrunAnalysisSummary.t option) Fieldslib.Field.t -> 'acc__3) -> buffer_overrun_checker:('acc__3 -> (t, BO.BufferOverrunCheckerSummary.t option) Fieldslib.Field.t -> 'acc__4) -> config_checks_between_markers:('acc__4 -> (t, Checkers.ConfigChecksBetweenMarkers.Summary.t option) Fieldslib.Field.t -> 'acc__5) -> config_impact_analysis:('acc__5 -> (t, Costlib.ConfigImpactAnalysis.Summary.t option) Fieldslib.Field.t -> 'acc__6) -> cost:('acc__6 -> (t, Costlib.CostDomain.summary option) Fieldslib.Field.t -> 'acc__7) -> lab_resource_leaks:('acc__7 -> (t, Labs.ResourceLeakDomain.summary option) Fieldslib.Field.t -> 'acc__8) -> dotnet_resource_leaks:('acc__8 -> (t, Dotnet.ResourceLeakCSDomain.summary option) Fieldslib.Field.t -> 'acc__9) -> litho_required_props:('acc__9 -> (t, Checkers.LithoDomain.summary option) Fieldslib.Field.t -> 'acc__10) -> pulse:('acc__10 -> (t, Pulselib.PulseSummary.t option) Fieldslib.Field.t -> 'acc__11) -> purity:('acc__11 -> (t, Checkers.PurityDomain.summary option) Fieldslib.Field.t -> 'acc__12) -> quandary:('acc__12 -> (t, Quandary.QuandarySummary.t option) Fieldslib.Field.t -> 'acc__13) -> racerd:('acc__13 -> (t, Concurrency.RacerDDomain.summary option) Fieldslib.Field.t -> 'acc__14) -> siof:('acc__14 -> (t, Checkers.SiofDomain.Summary.t option) Fieldslib.Field.t -> 'acc__15) -> starvation:('acc__15 -> (t, Concurrency.StarvationDomain.summary option) Fieldslib.Field.t -> 'acc__16) -> nullsafe:('acc__16 -> (t, Nullsafe.NullsafeSummary.t option) Fieldslib.Field.t -> 'acc__17) -> uninit:('acc__17 -> (t, Checkers.UninitDomain.Summary.t option) Fieldslib.Field.t -> 'acc__18) -> 'acc__18
val make_creator : annot_map:((t, Checkers.AnnotationReachabilityDomain.t option) Fieldslib.Field.t -> 'acc__0 -> ('input__ -> Checkers.AnnotationReachabilityDomain.t option) * 'acc__1) -> biabduction:((t, Biabduction.BiabductionSummary.t option) Fieldslib.Field.t -> 'acc__1 -> ('input__ -> Biabduction.BiabductionSummary.t option) * 'acc__2) -> buffer_overrun_analysis:((t, BO.BufferOverrunAnalysisSummary.t option) Fieldslib.Field.t -> 'acc__2 -> ('input__ -> BO.BufferOverrunAnalysisSummary.t option) * 'acc__3) -> buffer_overrun_checker:((t, BO.BufferOverrunCheckerSummary.t option) Fieldslib.Field.t -> 'acc__3 -> ('input__ -> BO.BufferOverrunCheckerSummary.t option) * 'acc__4) -> config_checks_between_markers:((t, Checkers.ConfigChecksBetweenMarkers.Summary.t option) Fieldslib.Field.t -> 'acc__4 -> ('input__ -> Checkers.ConfigChecksBetweenMarkers.Summary.t option) * 'acc__5) -> config_impact_analysis:((t, Costlib.ConfigImpactAnalysis.Summary.t option) Fieldslib.Field.t -> 'acc__5 -> ('input__ -> Costlib.ConfigImpactAnalysis.Summary.t option) * 'acc__6) -> cost:((t, Costlib.CostDomain.summary option) Fieldslib.Field.t -> 'acc__6 -> ('input__ -> Costlib.CostDomain.summary option) * 'acc__7) -> lab_resource_leaks:((t, Labs.ResourceLeakDomain.summary option) Fieldslib.Field.t -> 'acc__7 -> ('input__ -> Labs.ResourceLeakDomain.summary option) * 'acc__8) -> dotnet_resource_leaks:((t, Dotnet.ResourceLeakCSDomain.summary option) Fieldslib.Field.t -> 'acc__8 -> ('input__ -> Dotnet.ResourceLeakCSDomain.summary option) * 'acc__9) -> litho_required_props:((t, Checkers.LithoDomain.summary option) Fieldslib.Field.t -> 'acc__9 -> ('input__ -> Checkers.LithoDomain.summary option) * 'acc__10) -> pulse:((t, Pulselib.PulseSummary.t option) Fieldslib.Field.t -> 'acc__10 -> ('input__ -> Pulselib.PulseSummary.t option) * 'acc__11) -> purity:((t, Checkers.PurityDomain.summary option) Fieldslib.Field.t -> 'acc__11 -> ('input__ -> Checkers.PurityDomain.summary option) * 'acc__12) -> quandary:((t, Quandary.QuandarySummary.t option) Fieldslib.Field.t -> 'acc__12 -> ('input__ -> Quandary.QuandarySummary.t option) * 'acc__13) -> racerd:((t, Concurrency.RacerDDomain.summary option) Fieldslib.Field.t -> 'acc__13 -> ('input__ -> Concurrency.RacerDDomain.summary option) * 'acc__14) -> siof:((t, Checkers.SiofDomain.Summary.t option) Fieldslib.Field.t -> 'acc__14 -> ('input__ -> Checkers.SiofDomain.Summary.t option) * 'acc__15) -> starvation:((t, Concurrency.StarvationDomain.summary option) Fieldslib.Field.t -> 'acc__15 -> ('input__ -> Concurrency.StarvationDomain.summary option) * 'acc__16) -> nullsafe:((t, Nullsafe.NullsafeSummary.t option) Fieldslib.Field.t -> 'acc__16 -> ('input__ -> Nullsafe.NullsafeSummary.t option) * 'acc__17) -> uninit:((t, Checkers.UninitDomain.Summary.t option) Fieldslib.Field.t -> 'acc__17 -> ('input__ -> Checkers.UninitDomain.Summary.t option) * 'acc__18) -> 'acc__0 -> ('input__ -> t) * 'acc__18
val create : annot_map:Checkers.AnnotationReachabilityDomain.t option -> biabduction:Biabduction.BiabductionSummary.t option -> buffer_overrun_analysis:BO.BufferOverrunAnalysisSummary.t option -> buffer_overrun_checker:BO.BufferOverrunCheckerSummary.t option -> config_checks_between_markers:Checkers.ConfigChecksBetweenMarkers.Summary.t option -> config_impact_analysis:Costlib.ConfigImpactAnalysis.Summary.t option -> cost:Costlib.CostDomain.summary option -> lab_resource_leaks:Labs.ResourceLeakDomain.summary option -> dotnet_resource_leaks:Dotnet.ResourceLeakCSDomain.summary option -> litho_required_props:Checkers.LithoDomain.summary option -> pulse:Pulselib.PulseSummary.t option -> purity:Checkers.PurityDomain.summary option -> quandary:Quandary.QuandarySummary.t option -> racerd:Concurrency.RacerDDomain.summary option -> siof:Checkers.SiofDomain.Summary.t option -> starvation:Concurrency.StarvationDomain.summary option -> nullsafe:Nullsafe.NullsafeSummary.t option -> uninit:Checkers.UninitDomain.Summary.t option -> t
val map : annot_map:((t, Checkers.AnnotationReachabilityDomain.t option) Fieldslib.Field.t -> Checkers.AnnotationReachabilityDomain.t option) -> biabduction:((t, Biabduction.BiabductionSummary.t option) Fieldslib.Field.t -> Biabduction.BiabductionSummary.t option) -> buffer_overrun_analysis:((t, BO.BufferOverrunAnalysisSummary.t option) Fieldslib.Field.t -> BO.BufferOverrunAnalysisSummary.t option) -> buffer_overrun_checker:((t, BO.BufferOverrunCheckerSummary.t option) Fieldslib.Field.t -> BO.BufferOverrunCheckerSummary.t option) -> config_checks_between_markers:((t, Checkers.ConfigChecksBetweenMarkers.Summary.t option) Fieldslib.Field.t -> Checkers.ConfigChecksBetweenMarkers.Summary.t option) -> config_impact_analysis:((t, Costlib.ConfigImpactAnalysis.Summary.t option) Fieldslib.Field.t -> Costlib.ConfigImpactAnalysis.Summary.t option) -> cost:((t, Costlib.CostDomain.summary option) Fieldslib.Field.t -> Costlib.CostDomain.summary option) -> lab_resource_leaks:((t, Labs.ResourceLeakDomain.summary option) Fieldslib.Field.t -> Labs.ResourceLeakDomain.summary option) -> dotnet_resource_leaks:((t, Dotnet.ResourceLeakCSDomain.summary option) Fieldslib.Field.t -> Dotnet.ResourceLeakCSDomain.summary option) -> litho_required_props:((t, Checkers.LithoDomain.summary option) Fieldslib.Field.t -> Checkers.LithoDomain.summary option) -> pulse:((t, Pulselib.PulseSummary.t option) Fieldslib.Field.t -> Pulselib.PulseSummary.t option) -> purity:((t, Checkers.PurityDomain.summary option) Fieldslib.Field.t -> Checkers.PurityDomain.summary option) -> quandary:((t, Quandary.QuandarySummary.t option) Fieldslib.Field.t -> Quandary.QuandarySummary.t option) -> racerd:((t, Concurrency.RacerDDomain.summary option) Fieldslib.Field.t -> Concurrency.RacerDDomain.summary option) -> siof:((t, Checkers.SiofDomain.Summary.t option) Fieldslib.Field.t -> Checkers.SiofDomain.Summary.t option) -> starvation:((t, Concurrency.StarvationDomain.summary option) Fieldslib.Field.t -> Concurrency.StarvationDomain.summary option) -> nullsafe:((t, Nullsafe.NullsafeSummary.t option) Fieldslib.Field.t -> Nullsafe.NullsafeSummary.t option) -> uninit:((t, Checkers.UninitDomain.Summary.t option) Fieldslib.Field.t -> Checkers.UninitDomain.Summary.t option) -> t
val iter : annot_map:((t, Checkers.AnnotationReachabilityDomain.t option) Fieldslib.Field.t -> unit) -> biabduction:((t, Biabduction.BiabductionSummary.t option) Fieldslib.Field.t -> unit) -> buffer_overrun_analysis:((t, BO.BufferOverrunAnalysisSummary.t option) Fieldslib.Field.t -> unit) -> buffer_overrun_checker:((t, BO.BufferOverrunCheckerSummary.t option) Fieldslib.Field.t -> unit) -> config_checks_between_markers:((t, Checkers.ConfigChecksBetweenMarkers.Summary.t option) Fieldslib.Field.t -> unit) -> config_impact_analysis:((t, Costlib.ConfigImpactAnalysis.Summary.t option) Fieldslib.Field.t -> unit) -> cost:((t, Costlib.CostDomain.summary option) Fieldslib.Field.t -> unit) -> lab_resource_leaks:((t, Labs.ResourceLeakDomain.summary option) Fieldslib.Field.t -> unit) -> dotnet_resource_leaks:((t, Dotnet.ResourceLeakCSDomain.summary option) Fieldslib.Field.t -> unit) -> litho_required_props:((t, Checkers.LithoDomain.summary option) Fieldslib.Field.t -> unit) -> pulse:((t, Pulselib.PulseSummary.t option) Fieldslib.Field.t -> unit) -> purity:((t, Checkers.PurityDomain.summary option) Fieldslib.Field.t -> unit) -> quandary:((t, Quandary.QuandarySummary.t option) Fieldslib.Field.t -> unit) -> racerd:((t, Concurrency.RacerDDomain.summary option) Fieldslib.Field.t -> unit) -> siof:((t, Checkers.SiofDomain.Summary.t option) Fieldslib.Field.t -> unit) -> starvation:((t, Concurrency.StarvationDomain.summary option) Fieldslib.Field.t -> unit) -> nullsafe:((t, Nullsafe.NullsafeSummary.t option) Fieldslib.Field.t -> unit) -> uninit:((t, Checkers.UninitDomain.Summary.t option) Fieldslib.Field.t -> unit) -> unit
val for_all : annot_map:((t, Checkers.AnnotationReachabilityDomain.t option) Fieldslib.Field.t -> bool) -> biabduction:((t, Biabduction.BiabductionSummary.t option) Fieldslib.Field.t -> bool) -> buffer_overrun_analysis:((t, BO.BufferOverrunAnalysisSummary.t option) Fieldslib.Field.t -> bool) -> buffer_overrun_checker:((t, BO.BufferOverrunCheckerSummary.t option) Fieldslib.Field.t -> bool) -> config_checks_between_markers:((t, Checkers.ConfigChecksBetweenMarkers.Summary.t option) Fieldslib.Field.t -> bool) -> config_impact_analysis:((t, Costlib.ConfigImpactAnalysis.Summary.t option) Fieldslib.Field.t -> bool) -> cost:((t, Costlib.CostDomain.summary option) Fieldslib.Field.t -> bool) -> lab_resource_leaks:((t, Labs.ResourceLeakDomain.summary option) Fieldslib.Field.t -> bool) -> dotnet_resource_leaks:((t, Dotnet.ResourceLeakCSDomain.summary option) Fieldslib.Field.t -> bool) -> litho_required_props:((t, Checkers.LithoDomain.summary option) Fieldslib.Field.t -> bool) -> pulse:((t, Pulselib.PulseSummary.t option) Fieldslib.Field.t -> bool) -> purity:((t, Checkers.PurityDomain.summary option) Fieldslib.Field.t -> bool) -> quandary:((t, Quandary.QuandarySummary.t option) Fieldslib.Field.t -> bool) -> racerd:((t, Concurrency.RacerDDomain.summary option) Fieldslib.Field.t -> bool) -> siof:((t, Checkers.SiofDomain.Summary.t option) Fieldslib.Field.t -> bool) -> starvation:((t, Concurrency.StarvationDomain.summary option) Fieldslib.Field.t -> bool) -> nullsafe:((t, Nullsafe.NullsafeSummary.t option) Fieldslib.Field.t -> bool) -> uninit:((t, Checkers.UninitDomain.Summary.t option) Fieldslib.Field.t -> bool) -> bool
val exists : annot_map:((t, Checkers.AnnotationReachabilityDomain.t option) Fieldslib.Field.t -> bool) -> biabduction:((t, Biabduction.BiabductionSummary.t option) Fieldslib.Field.t -> bool) -> buffer_overrun_analysis:((t, BO.BufferOverrunAnalysisSummary.t option) Fieldslib.Field.t -> bool) -> buffer_overrun_checker:((t, BO.BufferOverrunCheckerSummary.t option) Fieldslib.Field.t -> bool) -> config_checks_between_markers:((t, Checkers.ConfigChecksBetweenMarkers.Summary.t option) Fieldslib.Field.t -> bool) -> config_impact_analysis:((t, Costlib.ConfigImpactAnalysis.Summary.t option) Fieldslib.Field.t -> bool) -> cost:((t, Costlib.CostDomain.summary option) Fieldslib.Field.t -> bool) -> lab_resource_leaks:((t, Labs.ResourceLeakDomain.summary option) Fieldslib.Field.t -> bool) -> dotnet_resource_leaks:((t, Dotnet.ResourceLeakCSDomain.summary option) Fieldslib.Field.t -> bool) -> litho_required_props:((t, Checkers.LithoDomain.summary option) Fieldslib.Field.t -> bool) -> pulse:((t, Pulselib.PulseSummary.t option) Fieldslib.Field.t -> bool) -> purity:((t, Checkers.PurityDomain.summary option) Fieldslib.Field.t -> bool) -> quandary:((t, Quandary.QuandarySummary.t option) Fieldslib.Field.t -> bool) -> racerd:((t, Concurrency.RacerDDomain.summary option) Fieldslib.Field.t -> bool) -> siof:((t, Checkers.SiofDomain.Summary.t option) Fieldslib.Field.t -> bool) -> starvation:((t, Concurrency.StarvationDomain.summary option) Fieldslib.Field.t -> bool) -> nullsafe:((t, Nullsafe.NullsafeSummary.t option) Fieldslib.Field.t -> bool) -> uninit:((t, Checkers.UninitDomain.Summary.t option) Fieldslib.Field.t -> bool) -> bool
val to_list : annot_map:((t, Checkers.AnnotationReachabilityDomain.t option) Fieldslib.Field.t -> 'elem__) -> biabduction:((t, Biabduction.BiabductionSummary.t option) Fieldslib.Field.t -> 'elem__) -> buffer_overrun_analysis:((t, BO.BufferOverrunAnalysisSummary.t option) Fieldslib.Field.t -> 'elem__) -> buffer_overrun_checker:((t, BO.BufferOverrunCheckerSummary.t option) Fieldslib.Field.t -> 'elem__) -> config_checks_between_markers:((t, Checkers.ConfigChecksBetweenMarkers.Summary.t option) Fieldslib.Field.t -> 'elem__) -> config_impact_analysis:((t, Costlib.ConfigImpactAnalysis.Summary.t option) Fieldslib.Field.t -> 'elem__) -> cost:((t, Costlib.CostDomain.summary option) Fieldslib.Field.t -> 'elem__) -> lab_resource_leaks:((t, Labs.ResourceLeakDomain.summary option) Fieldslib.Field.t -> 'elem__) -> dotnet_resource_leaks:((t, Dotnet.ResourceLeakCSDomain.summary option) Fieldslib.Field.t -> 'elem__) -> litho_required_props:((t, Checkers.LithoDomain.summary option) Fieldslib.Field.t -> 'elem__) -> pulse:((t, Pulselib.PulseSummary.t option) Fieldslib.Field.t -> 'elem__) -> purity:((t, Checkers.PurityDomain.summary option) Fieldslib.Field.t -> 'elem__) -> quandary:((t, Quandary.QuandarySummary.t option) Fieldslib.Field.t -> 'elem__) -> racerd:((t, Concurrency.RacerDDomain.summary option) Fieldslib.Field.t -> 'elem__) -> siof:((t, Checkers.SiofDomain.Summary.t option) Fieldslib.Field.t -> 'elem__) -> starvation:((t, Concurrency.StarvationDomain.summary option) Fieldslib.Field.t -> 'elem__) -> nullsafe:((t, Nullsafe.NullsafeSummary.t option) Fieldslib.Field.t -> 'elem__) -> uninit:((t, Checkers.UninitDomain.Summary.t option) Fieldslib.Field.t -> 'elem__) -> 'elem__ list
val map_poly : ([< `Read | `Set_and_create ], t, 'x0) Fieldslib.Field.user -> 'x0 list

module Direct : sig ... end