How to Use OCaml's Coercion Operator
Jane Street · 9:25
OCaml’s built-in coercion operator (:>) lets you treat one type as another when every value of the source is already a legal value of the target—most notably widening polymorphic variants and unwrapping private type a...