Module Flx_pat


module Flx_pat: sig .. end

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