sig
  val validate_patterns : Flx_ast.pattern_t list -> unit
  val is_universal : Flx_ast.pattern_t -> bool
end