fact: Definition interp_ftype (t:ftype) := List.fold_right (fun dom codom => interp dom -> codom) (interp (snd t)) (fst t).
imports: Bool Int63 Psatz PArray BinNat BinPos ZArith SMT_classes_instances Misc State BVList