Module type Analyzer.Analyzer

module type Analyzer = sig .. end

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 *
       static_information * dynamic_information

val export : static_information ->
       dynamic_information ->
       Exception.method_handler ->
       ('static, 'dynamic) Analyzer_headers.kasa_state ->
       Exception.method_handler * dynamic_information *
       ('static, 'dynamic) Analyzer_headers.kasa_state

val print : static_information ->
       dynamic_information ->
       Exception.method_handler ->
       Loggers.t -> Exception.method_handler * dynamic_information

val maybe_reachable : static_information ->
       dynamic_information ->
       Exception.method_handler ->
       Analyzer_headers.pattern_matching_flag ->
       Cckappa_sig.mixture ->
       Exception.method_handler * dynamic_information * bool