fact: Definition flatten_op_lit (get_op:_lit -> option (array _lit)) max := foldi (fun _ => flatten_op_body get_op) 0 max (fun largs l => l::largs).
imports: List PArray Bool Int63 ZMicromega ZArith Misc State SMT_terms BVList