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