package orec

  1. Overview
  2. Docs
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