package core_kernel

  1. Overview
  2. Docs
package core_kernel
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Univ_map.Packed

type t =
  1. | T : 'a Type_id_key.t * 'a data -> t