Module Fields.Direct

val iter : t -> annot_map: ((t, Checkers.AnnotationReachabilityDomain.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.AnnotationReachabilityDomain.t option IStdlib.IStd.Lazy.t -> unit) -> biabduction: ((t, Biabduction.BiabductionSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Biabduction.BiabductionSummary.t option IStdlib.IStd.Lazy.t -> unit) -> buffer_overrun_analysis: ((t, BO.BufferOverrunAnalysisSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> BO.BufferOverrunAnalysisSummary.t option IStdlib.IStd.Lazy.t -> unit) -> buffer_overrun_checker: ((t, BO.BufferOverrunCheckerSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> BO.BufferOverrunCheckerSummary.t option IStdlib.IStd.Lazy.t -> unit) -> config_impact_analysis: ((t, Costlib.ConfigImpactAnalysis.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Costlib.ConfigImpactAnalysis.Summary.t option IStdlib.IStd.Lazy.t -> unit) -> cost: ((t, Costlib.CostDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Costlib.CostDomain.summary option IStdlib.IStd.Lazy.t -> unit) -> disjunctive_demo: ((t, Checkers.DisjunctiveDemo.domain option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.DisjunctiveDemo.domain option IStdlib.IStd.Lazy.t -> unit) -> lab_resource_leaks: ((t, Labs.ResourceLeakDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Labs.ResourceLeakDomain.summary option IStdlib.IStd.Lazy.t -> unit) -> litho_required_props: ((t, Checkers.LithoDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.LithoDomain.summary option IStdlib.IStd.Lazy.t -> unit) -> pulse: ((t, Pulselib.PulseSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Pulselib.PulseSummary.t option IStdlib.IStd.Lazy.t -> unit) -> purity: ((t, Checkers.PurityDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.PurityDomain.summary option IStdlib.IStd.Lazy.t -> unit) -> quandary: ((t, Quandary.QuandarySummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Quandary.QuandarySummary.t option IStdlib.IStd.Lazy.t -> unit) -> racerd: ((t, Concurrency.RacerDDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Concurrency.RacerDDomain.summary option IStdlib.IStd.Lazy.t -> unit) -> scope_leakage: ((t, Checkers.ScopeLeakage.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.ScopeLeakage.Summary.t option IStdlib.IStd.Lazy.t -> unit) -> siof: ((t, Checkers.SiofDomain.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.SiofDomain.Summary.t option IStdlib.IStd.Lazy.t -> unit) -> lineage: ((t, Checkers.Lineage.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.Lineage.Summary.t option IStdlib.IStd.Lazy.t -> unit) -> lineage_shape: ((t, Checkers.LineageShape.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.LineageShape.Summary.t option IStdlib.IStd.Lazy.t -> unit) -> starvation: ((t, Concurrency.StarvationDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Concurrency.StarvationDomain.summary option IStdlib.IStd.Lazy.t -> unit) -> unit
val fold : t -> init:'acc__0 -> annot_map: ('acc__0 -> (t, Checkers.AnnotationReachabilityDomain.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.AnnotationReachabilityDomain.t option IStdlib.IStd.Lazy.t -> 'acc__1) -> biabduction: ('acc__1 -> (t, Biabduction.BiabductionSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Biabduction.BiabductionSummary.t option IStdlib.IStd.Lazy.t -> 'acc__2) -> buffer_overrun_analysis: ('acc__2 -> (t, BO.BufferOverrunAnalysisSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> BO.BufferOverrunAnalysisSummary.t option IStdlib.IStd.Lazy.t -> 'acc__3) -> buffer_overrun_checker: ('acc__3 -> (t, BO.BufferOverrunCheckerSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> BO.BufferOverrunCheckerSummary.t option IStdlib.IStd.Lazy.t -> 'acc__4) -> config_impact_analysis: ('acc__4 -> (t, Costlib.ConfigImpactAnalysis.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Costlib.ConfigImpactAnalysis.Summary.t option IStdlib.IStd.Lazy.t -> 'acc__5) -> cost: ('acc__5 -> (t, Costlib.CostDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Costlib.CostDomain.summary option IStdlib.IStd.Lazy.t -> 'acc__6) -> disjunctive_demo: ('acc__6 -> (t, Checkers.DisjunctiveDemo.domain option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.DisjunctiveDemo.domain option IStdlib.IStd.Lazy.t -> 'acc__7) -> lab_resource_leaks: ('acc__7 -> (t, Labs.ResourceLeakDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Labs.ResourceLeakDomain.summary option IStdlib.IStd.Lazy.t -> 'acc__8) -> litho_required_props: ('acc__8 -> (t, Checkers.LithoDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.LithoDomain.summary option IStdlib.IStd.Lazy.t -> 'acc__9) -> pulse: ('acc__9 -> (t, Pulselib.PulseSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Pulselib.PulseSummary.t option IStdlib.IStd.Lazy.t -> 'acc__10) -> purity: ('acc__10 -> (t, Checkers.PurityDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.PurityDomain.summary option IStdlib.IStd.Lazy.t -> 'acc__11) -> quandary: ('acc__11 -> (t, Quandary.QuandarySummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Quandary.QuandarySummary.t option IStdlib.IStd.Lazy.t -> 'acc__12) -> racerd: ('acc__12 -> (t, Concurrency.RacerDDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Concurrency.RacerDDomain.summary option IStdlib.IStd.Lazy.t -> 'acc__13) -> scope_leakage: ('acc__13 -> (t, Checkers.ScopeLeakage.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.ScopeLeakage.Summary.t option IStdlib.IStd.Lazy.t -> 'acc__14) -> siof: ('acc__14 -> (t, Checkers.SiofDomain.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.SiofDomain.Summary.t option IStdlib.IStd.Lazy.t -> 'acc__15) -> lineage: ('acc__15 -> (t, Checkers.Lineage.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.Lineage.Summary.t option IStdlib.IStd.Lazy.t -> 'acc__16) -> lineage_shape: ('acc__16 -> (t, Checkers.LineageShape.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.LineageShape.Summary.t option IStdlib.IStd.Lazy.t -> 'acc__17) -> starvation: ('acc__17 -> (t, Concurrency.StarvationDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Concurrency.StarvationDomain.summary option IStdlib.IStd.Lazy.t -> 'acc__18) -> 'acc__18
val for_all : t -> annot_map: ((t, Checkers.AnnotationReachabilityDomain.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.AnnotationReachabilityDomain.t option IStdlib.IStd.Lazy.t -> bool) -> biabduction: ((t, Biabduction.BiabductionSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Biabduction.BiabductionSummary.t option IStdlib.IStd.Lazy.t -> bool) -> buffer_overrun_analysis: ((t, BO.BufferOverrunAnalysisSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> BO.BufferOverrunAnalysisSummary.t option IStdlib.IStd.Lazy.t -> bool) -> buffer_overrun_checker: ((t, BO.BufferOverrunCheckerSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> BO.BufferOverrunCheckerSummary.t option IStdlib.IStd.Lazy.t -> bool) -> config_impact_analysis: ((t, Costlib.ConfigImpactAnalysis.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Costlib.ConfigImpactAnalysis.Summary.t option IStdlib.IStd.Lazy.t -> bool) -> cost: ((t, Costlib.CostDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Costlib.CostDomain.summary option IStdlib.IStd.Lazy.t -> bool) -> disjunctive_demo: ((t, Checkers.DisjunctiveDemo.domain option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.DisjunctiveDemo.domain option IStdlib.IStd.Lazy.t -> bool) -> lab_resource_leaks: ((t, Labs.ResourceLeakDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Labs.ResourceLeakDomain.summary option IStdlib.IStd.Lazy.t -> bool) -> litho_required_props: ((t, Checkers.LithoDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.LithoDomain.summary option IStdlib.IStd.Lazy.t -> bool) -> pulse: ((t, Pulselib.PulseSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Pulselib.PulseSummary.t option IStdlib.IStd.Lazy.t -> bool) -> purity: ((t, Checkers.PurityDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.PurityDomain.summary option IStdlib.IStd.Lazy.t -> bool) -> quandary: ((t, Quandary.QuandarySummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Quandary.QuandarySummary.t option IStdlib.IStd.Lazy.t -> bool) -> racerd: ((t, Concurrency.RacerDDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Concurrency.RacerDDomain.summary option IStdlib.IStd.Lazy.t -> bool) -> scope_leakage: ((t, Checkers.ScopeLeakage.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.ScopeLeakage.Summary.t option IStdlib.IStd.Lazy.t -> bool) -> siof: ((t, Checkers.SiofDomain.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.SiofDomain.Summary.t option IStdlib.IStd.Lazy.t -> bool) -> lineage: ((t, Checkers.Lineage.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.Lineage.Summary.t option IStdlib.IStd.Lazy.t -> bool) -> lineage_shape: ((t, Checkers.LineageShape.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.LineageShape.Summary.t option IStdlib.IStd.Lazy.t -> bool) -> starvation: ((t, Concurrency.StarvationDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Concurrency.StarvationDomain.summary option IStdlib.IStd.Lazy.t -> bool) -> bool
val exists : t -> annot_map: ((t, Checkers.AnnotationReachabilityDomain.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.AnnotationReachabilityDomain.t option IStdlib.IStd.Lazy.t -> bool) -> biabduction: ((t, Biabduction.BiabductionSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Biabduction.BiabductionSummary.t option IStdlib.IStd.Lazy.t -> bool) -> buffer_overrun_analysis: ((t, BO.BufferOverrunAnalysisSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> BO.BufferOverrunAnalysisSummary.t option IStdlib.IStd.Lazy.t -> bool) -> buffer_overrun_checker: ((t, BO.BufferOverrunCheckerSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> BO.BufferOverrunCheckerSummary.t option IStdlib.IStd.Lazy.t -> bool) -> config_impact_analysis: ((t, Costlib.ConfigImpactAnalysis.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Costlib.ConfigImpactAnalysis.Summary.t option IStdlib.IStd.Lazy.t -> bool) -> cost: ((t, Costlib.CostDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Costlib.CostDomain.summary option IStdlib.IStd.Lazy.t -> bool) -> disjunctive_demo: ((t, Checkers.DisjunctiveDemo.domain option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.DisjunctiveDemo.domain option IStdlib.IStd.Lazy.t -> bool) -> lab_resource_leaks: ((t, Labs.ResourceLeakDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Labs.ResourceLeakDomain.summary option IStdlib.IStd.Lazy.t -> bool) -> litho_required_props: ((t, Checkers.LithoDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.LithoDomain.summary option IStdlib.IStd.Lazy.t -> bool) -> pulse: ((t, Pulselib.PulseSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Pulselib.PulseSummary.t option IStdlib.IStd.Lazy.t -> bool) -> purity: ((t, Checkers.PurityDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.PurityDomain.summary option IStdlib.IStd.Lazy.t -> bool) -> quandary: ((t, Quandary.QuandarySummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Quandary.QuandarySummary.t option IStdlib.IStd.Lazy.t -> bool) -> racerd: ((t, Concurrency.RacerDDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Concurrency.RacerDDomain.summary option IStdlib.IStd.Lazy.t -> bool) -> scope_leakage: ((t, Checkers.ScopeLeakage.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.ScopeLeakage.Summary.t option IStdlib.IStd.Lazy.t -> bool) -> siof: ((t, Checkers.SiofDomain.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.SiofDomain.Summary.t option IStdlib.IStd.Lazy.t -> bool) -> lineage: ((t, Checkers.Lineage.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.Lineage.Summary.t option IStdlib.IStd.Lazy.t -> bool) -> lineage_shape: ((t, Checkers.LineageShape.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.LineageShape.Summary.t option IStdlib.IStd.Lazy.t -> bool) -> starvation: ((t, Concurrency.StarvationDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Concurrency.StarvationDomain.summary option IStdlib.IStd.Lazy.t -> bool) -> bool
val to_list : t -> annot_map: ((t, Checkers.AnnotationReachabilityDomain.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.AnnotationReachabilityDomain.t option IStdlib.IStd.Lazy.t -> 'elem__) -> biabduction: ((t, Biabduction.BiabductionSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Biabduction.BiabductionSummary.t option IStdlib.IStd.Lazy.t -> 'elem__) -> buffer_overrun_analysis: ((t, BO.BufferOverrunAnalysisSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> BO.BufferOverrunAnalysisSummary.t option IStdlib.IStd.Lazy.t -> 'elem__) -> buffer_overrun_checker: ((t, BO.BufferOverrunCheckerSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> BO.BufferOverrunCheckerSummary.t option IStdlib.IStd.Lazy.t -> 'elem__) -> config_impact_analysis: ((t, Costlib.ConfigImpactAnalysis.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Costlib.ConfigImpactAnalysis.Summary.t option IStdlib.IStd.Lazy.t -> 'elem__) -> cost: ((t, Costlib.CostDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Costlib.CostDomain.summary option IStdlib.IStd.Lazy.t -> 'elem__) -> disjunctive_demo: ((t, Checkers.DisjunctiveDemo.domain option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.DisjunctiveDemo.domain option IStdlib.IStd.Lazy.t -> 'elem__) -> lab_resource_leaks: ((t, Labs.ResourceLeakDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Labs.ResourceLeakDomain.summary option IStdlib.IStd.Lazy.t -> 'elem__) -> litho_required_props: ((t, Checkers.LithoDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.LithoDomain.summary option IStdlib.IStd.Lazy.t -> 'elem__) -> pulse: ((t, Pulselib.PulseSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Pulselib.PulseSummary.t option IStdlib.IStd.Lazy.t -> 'elem__) -> purity: ((t, Checkers.PurityDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.PurityDomain.summary option IStdlib.IStd.Lazy.t -> 'elem__) -> quandary: ((t, Quandary.QuandarySummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Quandary.QuandarySummary.t option IStdlib.IStd.Lazy.t -> 'elem__) -> racerd: ((t, Concurrency.RacerDDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Concurrency.RacerDDomain.summary option IStdlib.IStd.Lazy.t -> 'elem__) -> scope_leakage: ((t, Checkers.ScopeLeakage.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.ScopeLeakage.Summary.t option IStdlib.IStd.Lazy.t -> 'elem__) -> siof: ((t, Checkers.SiofDomain.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.SiofDomain.Summary.t option IStdlib.IStd.Lazy.t -> 'elem__) -> lineage: ((t, Checkers.Lineage.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.Lineage.Summary.t option IStdlib.IStd.Lazy.t -> 'elem__) -> lineage_shape: ((t, Checkers.LineageShape.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.LineageShape.Summary.t option IStdlib.IStd.Lazy.t -> 'elem__) -> starvation: ((t, Concurrency.StarvationDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Concurrency.StarvationDomain.summary option IStdlib.IStd.Lazy.t -> 'elem__) -> 'elem__ list
val map : t -> annot_map: ((t, Checkers.AnnotationReachabilityDomain.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.AnnotationReachabilityDomain.t option IStdlib.IStd.Lazy.t -> Checkers.AnnotationReachabilityDomain.t option IStdlib.IStd.Lazy.t) -> biabduction: ((t, Biabduction.BiabductionSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Biabduction.BiabductionSummary.t option IStdlib.IStd.Lazy.t -> Biabduction.BiabductionSummary.t option IStdlib.IStd.Lazy.t) -> buffer_overrun_analysis: ((t, BO.BufferOverrunAnalysisSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> BO.BufferOverrunAnalysisSummary.t option IStdlib.IStd.Lazy.t -> BO.BufferOverrunAnalysisSummary.t option IStdlib.IStd.Lazy.t) -> buffer_overrun_checker: ((t, BO.BufferOverrunCheckerSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> BO.BufferOverrunCheckerSummary.t option IStdlib.IStd.Lazy.t -> BO.BufferOverrunCheckerSummary.t option IStdlib.IStd.Lazy.t) -> config_impact_analysis: ((t, Costlib.ConfigImpactAnalysis.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Costlib.ConfigImpactAnalysis.Summary.t option IStdlib.IStd.Lazy.t -> Costlib.ConfigImpactAnalysis.Summary.t option IStdlib.IStd.Lazy.t) -> cost: ((t, Costlib.CostDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Costlib.CostDomain.summary option IStdlib.IStd.Lazy.t -> Costlib.CostDomain.summary option IStdlib.IStd.Lazy.t) -> disjunctive_demo: ((t, Checkers.DisjunctiveDemo.domain option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.DisjunctiveDemo.domain option IStdlib.IStd.Lazy.t -> Checkers.DisjunctiveDemo.domain option IStdlib.IStd.Lazy.t) -> lab_resource_leaks: ((t, Labs.ResourceLeakDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Labs.ResourceLeakDomain.summary option IStdlib.IStd.Lazy.t -> Labs.ResourceLeakDomain.summary option IStdlib.IStd.Lazy.t) -> litho_required_props: ((t, Checkers.LithoDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.LithoDomain.summary option IStdlib.IStd.Lazy.t -> Checkers.LithoDomain.summary option IStdlib.IStd.Lazy.t) -> pulse: ((t, Pulselib.PulseSummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Pulselib.PulseSummary.t option IStdlib.IStd.Lazy.t -> Pulselib.PulseSummary.t option IStdlib.IStd.Lazy.t) -> purity: ((t, Checkers.PurityDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.PurityDomain.summary option IStdlib.IStd.Lazy.t -> Checkers.PurityDomain.summary option IStdlib.IStd.Lazy.t) -> quandary: ((t, Quandary.QuandarySummary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Quandary.QuandarySummary.t option IStdlib.IStd.Lazy.t -> Quandary.QuandarySummary.t option IStdlib.IStd.Lazy.t) -> racerd: ((t, Concurrency.RacerDDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Concurrency.RacerDDomain.summary option IStdlib.IStd.Lazy.t -> Concurrency.RacerDDomain.summary option IStdlib.IStd.Lazy.t) -> scope_leakage: ((t, Checkers.ScopeLeakage.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.ScopeLeakage.Summary.t option IStdlib.IStd.Lazy.t -> Checkers.ScopeLeakage.Summary.t option IStdlib.IStd.Lazy.t) -> siof: ((t, Checkers.SiofDomain.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.SiofDomain.Summary.t option IStdlib.IStd.Lazy.t -> Checkers.SiofDomain.Summary.t option IStdlib.IStd.Lazy.t) -> lineage: ((t, Checkers.Lineage.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.Lineage.Summary.t option IStdlib.IStd.Lazy.t -> Checkers.Lineage.Summary.t option IStdlib.IStd.Lazy.t) -> lineage_shape: ((t, Checkers.LineageShape.Summary.t option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Checkers.LineageShape.Summary.t option IStdlib.IStd.Lazy.t -> Checkers.LineageShape.Summary.t option IStdlib.IStd.Lazy.t) -> starvation: ((t, Concurrency.StarvationDomain.summary option IStdlib.IStd.Lazy.t) Fieldslib.Field.t -> t -> Concurrency.StarvationDomain.summary option IStdlib.IStd.Lazy.t -> Concurrency.StarvationDomain.summary option IStdlib.IStd.Lazy.t) -> t
val set_all_mutable_fields : t -> unit