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