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

Functor Deriving_Eq.Eq_array

module Eq_array : functor (E : Eq) -> 
  Eqwith type a = E.a array

Parameters :

E:Deriving_Eq.Eq

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