Module `Fields.Direct`

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