Module Custom.Sum

Parameters

• X : T
• Y : T

Signature

type t = (X.t, Y.t) choice

val equal : (X.t, Y.t) choice -> (X.t, Y.t) choice -> bool

val hash : (X.t, Y.t) choice -> int

val compare : (X.t, Y.t) choice -> (X.t, Y.t) choice -> int

val check : 'a -> unit

val dump : Stdlib.Format.formatter -> (X.t, Y.t) choice -> unit