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