Module Cf_either

module Cf_either: sig .. end
A utility type to represent the sum of two parameter types. This is used in some of the more arcane operators in the Cf_flow module.

type ('a, 'b) t = 
| A of 'a
| B of 'b