sig
  type static_information
  type dynamic_information
  val main :
    Remanent_parameters_sig.parameters ->
    StoryProfiling.StoryStats.log_info ->
    Exception.method_handler ->
    Ckappa_sig.Views_bdu.handler ->
    Cckappa_sig.compil ->
    Cckappa_sig.kappa_handler ->
    Exception.method_handler * StoryProfiling.StoryStats.log_info *
    Analyzer.Analyzer.static_information *
    Analyzer.Analyzer.dynamic_information
  val export :
    Analyzer.Analyzer.static_information ->
    Analyzer.Analyzer.dynamic_information ->
    Exception.method_handler ->
    ('static, 'dynamic) Analyzer_headers.kasa_state ->
    Exception.method_handler * Analyzer.Analyzer.dynamic_information *
    ('static, 'dynamic) Analyzer_headers.kasa_state
  val print :
    Analyzer.Analyzer.static_information ->
    Analyzer.Analyzer.dynamic_information ->
    Exception.method_handler ->
    Loggers.t ->
    Exception.method_handler * Analyzer.Analyzer.dynamic_information
  val maybe_reachable :
    Analyzer.Analyzer.static_information ->
    Analyzer.Analyzer.dynamic_information ->
    Exception.method_handler ->
    Analyzer_headers.pattern_matching_flag ->
    Cckappa_sig.mixture ->
    Exception.method_handler * Analyzer.Analyzer.dynamic_information * bool
end