sig
  module Make :
    functor (Dom : Relational.Domain->
      sig
        val alarms : Dom.t Location.Map.t -> Ast.stm -> bool
        val print : Dom.t Location.Map.t -> Ast.stm -> string option -> unit
      end
end