package fstar
-
fstar.lib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package fstar
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type ('c, 'eq, 's1, 's2) eq_of_seq = Obj.tval seq_equiv :
'c FStar_Algebra_CommMonoid_Equiv.equiv ->
'c FStar_Seq_Base.seq FStar_Algebra_CommMonoid_Equiv.equiv