fact: Definition ult_lit_list (x y: list _lit) := ult_big_endian_lit_list (List.rev x) (List.rev y).
imports: Int63 PArray SMT_classes ZArith Misc State SMT_terms BVList Psatz Bool List BoolEq NZParity Nnat BinPos BinNat Pnat Init.Peano ProofIrrelevance