sig
  type t
  val is_active :
    Transfer_logic.ActiveBehaviors.t -> Cil_types.behavior -> Alarmset.status
  val active_behaviors :
    Transfer_logic.ActiveBehaviors.t -> Cil_types.behavior list
  val behavior_from_name :
    Transfer_logic.ActiveBehaviors.t -> string -> Cil_types.behavior
end