Parameter Statement.Pattern_cover

val empty_errors : Parser_common.pattern_errors