sig
  type static_information
  type dynamic_information
  val initialize :
    Analyzer_headers.global_static_information ->
    Analyzer_headers.global_dynamic_information ->
    Exception.method_handler ->
    Exception.method_handler *
    Composite_domain.Composite_domain.static_information *
    Composite_domain.Composite_domain.dynamic_information
  type 'a zeroary =
      Composite_domain.Composite_domain.static_information ->
      Composite_domain.Composite_domain.dynamic_information ->
      Exception.method_handler ->
      Exception.method_handler *
      Composite_domain.Composite_domain.dynamic_information * 'a
  type ('a, 'b) unary =
      Composite_domain.Composite_domain.static_information ->
      Composite_domain.Composite_domain.dynamic_information ->
      Exception.method_handler ->
      'a ->
      Exception.method_handler *
      Composite_domain.Composite_domain.dynamic_information * 'b
  type ('a, 'b, 'c) binary =
      Composite_domain.Composite_domain.static_information ->
      Composite_domain.Composite_domain.dynamic_information ->
      Exception.method_handler ->
      'a ->
      'b ->
      Exception.method_handler *
      Composite_domain.Composite_domain.dynamic_information * 'c
  type ('a, 'b, 'c, 'd) ternary =
      Composite_domain.Composite_domain.static_information ->
      Composite_domain.Composite_domain.dynamic_information ->
      Exception.method_handler ->
      'a ->
      'b ->
      'c ->
      Exception.method_handler *
      Composite_domain.Composite_domain.dynamic_information * 'd
  val next_rule :
    Ckappa_sig.c_rule_id option Composite_domain.Composite_domain.zeroary
  val add_initial_state :
    (Analyzer_headers.initial_state, unit)
    Composite_domain.Composite_domain.unary
  val is_enabled :
    (Ckappa_sig.c_rule_id, Communication.precondition option)
    Composite_domain.Composite_domain.unary
  val apply_rule :
    (Ckappa_sig.c_rule_id, Communication.precondition, unit)
    Composite_domain.Composite_domain.binary
  val stabilize : unit Composite_domain.Composite_domain.zeroary
  val export :
    (('static, 'dynamic) Analyzer_headers.kasa_state,
     ('static, 'dynamic) Analyzer_headers.kasa_state)
    Composite_domain.Composite_domain.unary
  val print : (Loggers.t, unit) Composite_domain.Composite_domain.unary
  val maybe_reachable :
    (Analyzer_headers.pattern_matching_flag, Cckappa_sig.mixture,
     Communication.precondition option)
    Composite_domain.Composite_domain.binary
  val get_global_dynamic_information :
    Composite_domain.Composite_domain.dynamic_information ->
    Analyzer_headers.global_dynamic_information
  val set_global_dynamic_information :
    Analyzer_headers.global_dynamic_information ->
    Composite_domain.Composite_domain.dynamic_information ->
    Composite_domain.Composite_domain.dynamic_information
end