fact: Definition pb_check_level_fun (hiding : bool) (P : Char -> bool) (start_level : nat) : bool := List.fold_right andb true (List.map (fun ch => pb_check_level hiding ch start_level) (List.filter P (enumerate Char))).
imports: Fiat.Common.Coq__8_4__8_5__Compat Coq.Strings.String Coq.Lists.List Coq.ZArith.ZArith Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.BaseTypes Fiat.Common.List.Operations Fiat.Common Fiat.Common.List.ListFacts Fiat.Common.Enumerable Fiat.Common.LogicFacts Fiat.Common.Equality