fact: Definition list_bool_of_ascii (a : ascii) : list bool := let (a0,a1,a2,a3,a4,a5,a6,a7) := a in [a0; a1; a2; a3; a4; a5; a6; a7].
imports: Coq(ZArith) Coq(FMapInterface FMapPositive) Coq(FMapList FMapFacts) Coq(String Ascii List) StructTact(StructTactics StringOrders)