open Fstarcompiler
open Prims


let tuple_to_dep_tuple (x : ('a * 'b)) :
  ('a, 'b) Fstarcompiler.Prims.dtuple2=
  Fstarcompiler.Prims.Mkdtuple2
    ((FStar_Pervasives_Native.fst x), (FStar_Pervasives_Native.snd x))

