Warning: Reason support is experimental. We are looking for beta-tester and contributors.

Functor Deriving_Eq.Eq_set_s_t

module Eq_set_s_t : functor (S : Set.S) -> 
  Eqwith type a = S.t

Parameters :

S:Set.S

type a
val eq : a -> a -> bool