(331) * Warning 331 at LowParse.Repr.fsti(547,8-547,9): - This name is being ignored

(337) * Warning 337 at LowParse.Low.Base.Spec.fst(612,8-612,41): - This definitions has multiple decreases clauses. - The decreases clause on the declaration is ignored, please remove it.

(337) * Warning 337 at LowParse.Low.Base.Spec.fst(548,8-548,21): - This definitions has multiple decreases clauses. - The decreases clause on the declaration is ignored, please remove it.

(328) * Warning 328 at LowParse.Low.Base.Spec.fst(511,8-511,24): - Global binding 'LowParse.Low.Base.Spec.valid_list_equiv' is recursive but not used in its body

(337) * Warning 337 at LowParse.Low.Base.Spec.fst(487,8-487,18): - This definitions has multiple decreases clauses. - The decreases clause on the declaration is ignored, please remove it.

(361) * Warning 361 at LowParse.BitFields.fst(1276,0-1276,29): - Some #push-options have not been popped. Current depth is 1.

(328) * Warning 328 at LowParse.Spec.Enum.fst(107,8-107,24): - Global binding 'LowParse.Spec.Enum.assoc_flip_intro' is recursive but not used in its body

(271) * Warning 271 at LowParse.Spec.Base.fsti(546,14-546,16): - SMT pattern misses at least one bound variable: t

(271) * Warning 271 at LowParse.Spec.Base.fsti(546,6-546,17): - Pattern misses at least one bound variable: t