package scaml

  1. Overview
  2. Docs
type ('a, 'b) t = ('a, 'b) sum =
  1. | Left of 'a
  2. | Right of 'b
val get_left : ('a, 'b) sum -> 'a

get_left (Left x) = x get_left (Right x) -> error

val get_right : ('a, 'b) sum -> 'b

get_right (Right x) = x get_right (Left x) -> error