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