Module Common.Either

type ('a, 'b) t =
  1. | Left of 'a
  2. | Right of 'b
val left : 'a -> ('a, 'b) t
val right : 'b -> ('a, 'b) t