orec

dynamic open records
IN THIS PACKAGE
Module Orec
module Bijection : sig ... end

Bijection type and composition

module Default : sig ... end

Default namespace for record fields

module Namespace : sig ... end

Creation of new namespace for open record fields

module Type_data : sig ... end

Type level data

module Univ : sig ... end