open Fstarcompiler
open Prims
let seq_equiv (eq : 'c FStar_Algebra_CommMonoid_Equiv.equiv) :
  'c FStar_Seq_Base.seq FStar_Algebra_CommMonoid_Equiv.equiv=
  FStar_Algebra_CommMonoid_Equiv.EQ ((), (), (), ())
