Functor Deriving_Eq.Eq_option
module Eq_option : functor (E : Eq) ->
Eqwith type a = E.a option
Parameters :
| E | : | Deriving_Eq.Eq |
type a
val eq : a -> a -> bool
deriving
Warning: Reason support is experimental. We are looking for beta-tester and contributors.