package orec

  1. Overview
  2. Docs

Module Orec.BijectionSource

Bijection type and composition

Sourcemodule type S = sig ... end
include S
Sourcetype ('a, 'b) bijection = {
  1. to_ : 'a -> 'b;
  2. from : 'b -> 'a;
}

Bijection record

Sourceval flip : ('a, 'b) bijection -> ('b, 'a) bijection

Bijection inversion

Sourceval (%) : ('a, 'b) bijection -> ('c, 'a) bijection -> ('c, 'b) bijection

Bijection composition