orec

dynamic open records
IN THIS PACKAGE
Module Orec . Bijection
module type S = sig ... end
include S
type ('a, 'b) bijection = {
to_ : 'a -> 'b;
from : 'b -> 'a;
}

Bijection record

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

Bijection inversion

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

Bijection composition