Direct (infer.Backend.Payloads.Fields.Direct)

val iter : 
  t ->
  annot_map:
    ((t, Checkers.AnnotationReachabilityDomain.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.AnnotationReachabilityDomain.t IStdlib.IStd.Lazy.t option ->
      unit) ->
  biabduction:
    ((t, Biabduction.BiabductionSummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Biabduction.BiabductionSummary.t IStdlib.IStd.Lazy.t option ->
      unit) ->
  buffer_overrun_analysis:
    ((t, BO.BufferOverrunAnalysisSummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      BO.BufferOverrunAnalysisSummary.t IStdlib.IStd.Lazy.t option ->
      unit) ->
  buffer_overrun_checker:
    ((t, BO.BufferOverrunCheckerSummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      BO.BufferOverrunCheckerSummary.t IStdlib.IStd.Lazy.t option ->
      unit) ->
  config_impact_analysis:
    ((t, Costlib.ConfigImpactAnalysis.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Costlib.ConfigImpactAnalysis.Summary.t IStdlib.IStd.Lazy.t option ->
      unit) ->
  cost:
    ((t, Costlib.CostDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Costlib.CostDomain.summary IStdlib.IStd.Lazy.t option ->
      unit) ->
  disjunctive_demo:
    ((t, Checkers.DisjunctiveDemo.domain IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.DisjunctiveDemo.domain IStdlib.IStd.Lazy.t option ->
      unit) ->
  lab_resource_leaks:
    ((t, Labs.ResourceLeakDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Labs.ResourceLeakDomain.summary IStdlib.IStd.Lazy.t option ->
      unit) ->
  litho_required_props:
    ((t, Checkers.LithoDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.LithoDomain.summary IStdlib.IStd.Lazy.t option ->
      unit) ->
  pulse:
    ((t, Pulselib.PulseSummary.t IStdlib.IStd.Lazy.t option) Fieldslib.Field.t ->
      t ->
      Pulselib.PulseSummary.t IStdlib.IStd.Lazy.t option ->
      unit) ->
  purity:
    ((t, Checkers.PurityDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.PurityDomain.summary IStdlib.IStd.Lazy.t option ->
      unit) ->
  quandary:
    ((t, Quandary.QuandarySummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Quandary.QuandarySummary.t IStdlib.IStd.Lazy.t option ->
      unit) ->
  racerd:
    ((t, Concurrency.RacerDDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Concurrency.RacerDDomain.summary IStdlib.IStd.Lazy.t option ->
      unit) ->
  scope_leakage:
    ((t, Checkers.ScopeLeakage.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.ScopeLeakage.Summary.t IStdlib.IStd.Lazy.t option ->
      unit) ->
  siof:
    ((t, Checkers.SiofDomain.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.SiofDomain.Summary.t IStdlib.IStd.Lazy.t option ->
      unit) ->
  lineage:
    ((t, Checkers.Lineage.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.Lineage.Summary.t IStdlib.IStd.Lazy.t option ->
      unit) ->
  lineage_shape:
    ((t, Checkers.LineageShape.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.LineageShape.Summary.t IStdlib.IStd.Lazy.t option ->
      unit) ->
  starvation:
    ((t, Concurrency.StarvationDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Concurrency.StarvationDomain.summary IStdlib.IStd.Lazy.t option ->
      unit) ->
  unit

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

val for_all : 
  t ->
  annot_map:
    ((t, Checkers.AnnotationReachabilityDomain.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.AnnotationReachabilityDomain.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  biabduction:
    ((t, Biabduction.BiabductionSummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Biabduction.BiabductionSummary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  buffer_overrun_analysis:
    ((t, BO.BufferOverrunAnalysisSummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      BO.BufferOverrunAnalysisSummary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  buffer_overrun_checker:
    ((t, BO.BufferOverrunCheckerSummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      BO.BufferOverrunCheckerSummary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  config_impact_analysis:
    ((t, Costlib.ConfigImpactAnalysis.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Costlib.ConfigImpactAnalysis.Summary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  cost:
    ((t, Costlib.CostDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Costlib.CostDomain.summary IStdlib.IStd.Lazy.t option ->
      bool) ->
  disjunctive_demo:
    ((t, Checkers.DisjunctiveDemo.domain IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.DisjunctiveDemo.domain IStdlib.IStd.Lazy.t option ->
      bool) ->
  lab_resource_leaks:
    ((t, Labs.ResourceLeakDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Labs.ResourceLeakDomain.summary IStdlib.IStd.Lazy.t option ->
      bool) ->
  litho_required_props:
    ((t, Checkers.LithoDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.LithoDomain.summary IStdlib.IStd.Lazy.t option ->
      bool) ->
  pulse:
    ((t, Pulselib.PulseSummary.t IStdlib.IStd.Lazy.t option) Fieldslib.Field.t ->
      t ->
      Pulselib.PulseSummary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  purity:
    ((t, Checkers.PurityDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.PurityDomain.summary IStdlib.IStd.Lazy.t option ->
      bool) ->
  quandary:
    ((t, Quandary.QuandarySummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Quandary.QuandarySummary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  racerd:
    ((t, Concurrency.RacerDDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Concurrency.RacerDDomain.summary IStdlib.IStd.Lazy.t option ->
      bool) ->
  scope_leakage:
    ((t, Checkers.ScopeLeakage.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.ScopeLeakage.Summary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  siof:
    ((t, Checkers.SiofDomain.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.SiofDomain.Summary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  lineage:
    ((t, Checkers.Lineage.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.Lineage.Summary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  lineage_shape:
    ((t, Checkers.LineageShape.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.LineageShape.Summary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  starvation:
    ((t, Concurrency.StarvationDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Concurrency.StarvationDomain.summary IStdlib.IStd.Lazy.t option ->
      bool) ->
  bool

val exists : 
  t ->
  annot_map:
    ((t, Checkers.AnnotationReachabilityDomain.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.AnnotationReachabilityDomain.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  biabduction:
    ((t, Biabduction.BiabductionSummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Biabduction.BiabductionSummary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  buffer_overrun_analysis:
    ((t, BO.BufferOverrunAnalysisSummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      BO.BufferOverrunAnalysisSummary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  buffer_overrun_checker:
    ((t, BO.BufferOverrunCheckerSummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      BO.BufferOverrunCheckerSummary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  config_impact_analysis:
    ((t, Costlib.ConfigImpactAnalysis.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Costlib.ConfigImpactAnalysis.Summary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  cost:
    ((t, Costlib.CostDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Costlib.CostDomain.summary IStdlib.IStd.Lazy.t option ->
      bool) ->
  disjunctive_demo:
    ((t, Checkers.DisjunctiveDemo.domain IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.DisjunctiveDemo.domain IStdlib.IStd.Lazy.t option ->
      bool) ->
  lab_resource_leaks:
    ((t, Labs.ResourceLeakDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Labs.ResourceLeakDomain.summary IStdlib.IStd.Lazy.t option ->
      bool) ->
  litho_required_props:
    ((t, Checkers.LithoDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.LithoDomain.summary IStdlib.IStd.Lazy.t option ->
      bool) ->
  pulse:
    ((t, Pulselib.PulseSummary.t IStdlib.IStd.Lazy.t option) Fieldslib.Field.t ->
      t ->
      Pulselib.PulseSummary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  purity:
    ((t, Checkers.PurityDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.PurityDomain.summary IStdlib.IStd.Lazy.t option ->
      bool) ->
  quandary:
    ((t, Quandary.QuandarySummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Quandary.QuandarySummary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  racerd:
    ((t, Concurrency.RacerDDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Concurrency.RacerDDomain.summary IStdlib.IStd.Lazy.t option ->
      bool) ->
  scope_leakage:
    ((t, Checkers.ScopeLeakage.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.ScopeLeakage.Summary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  siof:
    ((t, Checkers.SiofDomain.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.SiofDomain.Summary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  lineage:
    ((t, Checkers.Lineage.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.Lineage.Summary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  lineage_shape:
    ((t, Checkers.LineageShape.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.LineageShape.Summary.t IStdlib.IStd.Lazy.t option ->
      bool) ->
  starvation:
    ((t, Concurrency.StarvationDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Concurrency.StarvationDomain.summary IStdlib.IStd.Lazy.t option ->
      bool) ->
  bool

val to_list : 
  t ->
  annot_map:
    ((t, Checkers.AnnotationReachabilityDomain.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.AnnotationReachabilityDomain.t IStdlib.IStd.Lazy.t option ->
      'elem__) ->
  biabduction:
    ((t, Biabduction.BiabductionSummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Biabduction.BiabductionSummary.t IStdlib.IStd.Lazy.t option ->
      'elem__) ->
  buffer_overrun_analysis:
    ((t, BO.BufferOverrunAnalysisSummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      BO.BufferOverrunAnalysisSummary.t IStdlib.IStd.Lazy.t option ->
      'elem__) ->
  buffer_overrun_checker:
    ((t, BO.BufferOverrunCheckerSummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      BO.BufferOverrunCheckerSummary.t IStdlib.IStd.Lazy.t option ->
      'elem__) ->
  config_impact_analysis:
    ((t, Costlib.ConfigImpactAnalysis.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Costlib.ConfigImpactAnalysis.Summary.t IStdlib.IStd.Lazy.t option ->
      'elem__) ->
  cost:
    ((t, Costlib.CostDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Costlib.CostDomain.summary IStdlib.IStd.Lazy.t option ->
      'elem__) ->
  disjunctive_demo:
    ((t, Checkers.DisjunctiveDemo.domain IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.DisjunctiveDemo.domain IStdlib.IStd.Lazy.t option ->
      'elem__) ->
  lab_resource_leaks:
    ((t, Labs.ResourceLeakDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Labs.ResourceLeakDomain.summary IStdlib.IStd.Lazy.t option ->
      'elem__) ->
  litho_required_props:
    ((t, Checkers.LithoDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.LithoDomain.summary IStdlib.IStd.Lazy.t option ->
      'elem__) ->
  pulse:
    ((t, Pulselib.PulseSummary.t IStdlib.IStd.Lazy.t option) Fieldslib.Field.t ->
      t ->
      Pulselib.PulseSummary.t IStdlib.IStd.Lazy.t option ->
      'elem__) ->
  purity:
    ((t, Checkers.PurityDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.PurityDomain.summary IStdlib.IStd.Lazy.t option ->
      'elem__) ->
  quandary:
    ((t, Quandary.QuandarySummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Quandary.QuandarySummary.t IStdlib.IStd.Lazy.t option ->
      'elem__) ->
  racerd:
    ((t, Concurrency.RacerDDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Concurrency.RacerDDomain.summary IStdlib.IStd.Lazy.t option ->
      'elem__) ->
  scope_leakage:
    ((t, Checkers.ScopeLeakage.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.ScopeLeakage.Summary.t IStdlib.IStd.Lazy.t option ->
      'elem__) ->
  siof:
    ((t, Checkers.SiofDomain.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.SiofDomain.Summary.t IStdlib.IStd.Lazy.t option ->
      'elem__) ->
  lineage:
    ((t, Checkers.Lineage.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.Lineage.Summary.t IStdlib.IStd.Lazy.t option ->
      'elem__) ->
  lineage_shape:
    ((t, Checkers.LineageShape.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.LineageShape.Summary.t IStdlib.IStd.Lazy.t option ->
      'elem__) ->
  starvation:
    ((t, Concurrency.StarvationDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Concurrency.StarvationDomain.summary IStdlib.IStd.Lazy.t option ->
      'elem__) ->
  'elem__ list

val map : 
  t ->
  annot_map:
    ((t, Checkers.AnnotationReachabilityDomain.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.AnnotationReachabilityDomain.t IStdlib.IStd.Lazy.t option ->
      Checkers.AnnotationReachabilityDomain.t IStdlib.IStd.Lazy.t option) ->
  biabduction:
    ((t, Biabduction.BiabductionSummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Biabduction.BiabductionSummary.t IStdlib.IStd.Lazy.t option ->
      Biabduction.BiabductionSummary.t IStdlib.IStd.Lazy.t option) ->
  buffer_overrun_analysis:
    ((t, BO.BufferOverrunAnalysisSummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      BO.BufferOverrunAnalysisSummary.t IStdlib.IStd.Lazy.t option ->
      BO.BufferOverrunAnalysisSummary.t IStdlib.IStd.Lazy.t option) ->
  buffer_overrun_checker:
    ((t, BO.BufferOverrunCheckerSummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      BO.BufferOverrunCheckerSummary.t IStdlib.IStd.Lazy.t option ->
      BO.BufferOverrunCheckerSummary.t IStdlib.IStd.Lazy.t option) ->
  config_impact_analysis:
    ((t, Costlib.ConfigImpactAnalysis.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Costlib.ConfigImpactAnalysis.Summary.t IStdlib.IStd.Lazy.t option ->
      Costlib.ConfigImpactAnalysis.Summary.t IStdlib.IStd.Lazy.t option) ->
  cost:
    ((t, Costlib.CostDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Costlib.CostDomain.summary IStdlib.IStd.Lazy.t option ->
      Costlib.CostDomain.summary IStdlib.IStd.Lazy.t option) ->
  disjunctive_demo:
    ((t, Checkers.DisjunctiveDemo.domain IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.DisjunctiveDemo.domain IStdlib.IStd.Lazy.t option ->
      Checkers.DisjunctiveDemo.domain IStdlib.IStd.Lazy.t option) ->
  lab_resource_leaks:
    ((t, Labs.ResourceLeakDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Labs.ResourceLeakDomain.summary IStdlib.IStd.Lazy.t option ->
      Labs.ResourceLeakDomain.summary IStdlib.IStd.Lazy.t option) ->
  litho_required_props:
    ((t, Checkers.LithoDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.LithoDomain.summary IStdlib.IStd.Lazy.t option ->
      Checkers.LithoDomain.summary IStdlib.IStd.Lazy.t option) ->
  pulse:
    ((t, Pulselib.PulseSummary.t IStdlib.IStd.Lazy.t option) Fieldslib.Field.t ->
      t ->
      Pulselib.PulseSummary.t IStdlib.IStd.Lazy.t option ->
      Pulselib.PulseSummary.t IStdlib.IStd.Lazy.t option) ->
  purity:
    ((t, Checkers.PurityDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.PurityDomain.summary IStdlib.IStd.Lazy.t option ->
      Checkers.PurityDomain.summary IStdlib.IStd.Lazy.t option) ->
  quandary:
    ((t, Quandary.QuandarySummary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Quandary.QuandarySummary.t IStdlib.IStd.Lazy.t option ->
      Quandary.QuandarySummary.t IStdlib.IStd.Lazy.t option) ->
  racerd:
    ((t, Concurrency.RacerDDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Concurrency.RacerDDomain.summary IStdlib.IStd.Lazy.t option ->
      Concurrency.RacerDDomain.summary IStdlib.IStd.Lazy.t option) ->
  scope_leakage:
    ((t, Checkers.ScopeLeakage.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.ScopeLeakage.Summary.t IStdlib.IStd.Lazy.t option ->
      Checkers.ScopeLeakage.Summary.t IStdlib.IStd.Lazy.t option) ->
  siof:
    ((t, Checkers.SiofDomain.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.SiofDomain.Summary.t IStdlib.IStd.Lazy.t option ->
      Checkers.SiofDomain.Summary.t IStdlib.IStd.Lazy.t option) ->
  lineage:
    ((t, Checkers.Lineage.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.Lineage.Summary.t IStdlib.IStd.Lazy.t option ->
      Checkers.Lineage.Summary.t IStdlib.IStd.Lazy.t option) ->
  lineage_shape:
    ((t, Checkers.LineageShape.Summary.t IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Checkers.LineageShape.Summary.t IStdlib.IStd.Lazy.t option ->
      Checkers.LineageShape.Summary.t IStdlib.IStd.Lazy.t option) ->
  starvation:
    ((t, Concurrency.StarvationDomain.summary IStdlib.IStd.Lazy.t option)
       Fieldslib.Field.t ->
      t ->
      Concurrency.StarvationDomain.summary IStdlib.IStd.Lazy.t option ->
      Concurrency.StarvationDomain.summary IStdlib.IStd.Lazy.t option) ->
  t

val set_all_mutable_fields : t -> unit