Module type Composite_domain.Composite_domain

module type Composite_domain = sig .. end

type static_information 

type dynamic_information 

val initialize : Analyzer_headers.global_static_information ->
       Analyzer_headers.global_dynamic_information ->
       Exception.method_handler ->
       Exception.method_handler *
       static_information *
       dynamic_information

type 'a zeroary = static_information ->
       dynamic_information ->
       Exception.method_handler ->
       Exception.method_handler *
       dynamic_information * 'a 

type ('a, 'b) unary = static_information ->
       dynamic_information ->
       Exception.method_handler ->
       'a ->
       Exception.method_handler *
       dynamic_information * 'b 

type ('a, 'b, 'c) binary = static_information ->
       dynamic_information ->
       Exception.method_handler ->
       'a ->
       'b ->
       Exception.method_handler *
       dynamic_information * 'c 

type ('a, 'b, 'c, 'd) ternary = static_information ->
       dynamic_information ->
       Exception.method_handler ->
       'a ->
       'b ->
       'c ->
       Exception.method_handler *
       dynamic_information * 'd 

val next_rule : Ckappa_sig.c_rule_id option zeroary

val add_initial_state : (Analyzer_headers.initial_state, unit)
       unary

val is_enabled : (Ckappa_sig.c_rule_id, Communication.precondition option)
       unary

val apply_rule : (Ckappa_sig.c_rule_id, Communication.precondition, unit)
       binary

val stabilize : unit zeroary

val export : (('static, 'dynamic) Analyzer_headers.kasa_state,
        ('static, 'dynamic) Analyzer_headers.kasa_state)
       unary

val print : (Loggers.t, unit) unary

val maybe_reachable : (Analyzer_headers.pattern_matching_flag, Cckappa_sig.mixture,
        Communication.precondition option)
       binary

val get_global_dynamic_information : dynamic_information ->
       Analyzer_headers.global_dynamic_information

val set_global_dynamic_information : Analyzer_headers.global_dynamic_information ->
       dynamic_information ->
       dynamic_information