package traits

  1. Overview
  2. Docs

Module PartialEqSome.PartialEqSource

Sourcetype rhs = T.PartialEq.rhs option
Sourceval eq : t -> rhs -> bool
Sourceval ne : t -> rhs -> bool