Up – Package index » Core » Library core.univ_map » Univ_map » Make » Packed

Module `Make.Packed`Source

Core
- Library core
  - Core
- Library core.base_for_tests
  - Base_for_tests
- Library core.command
  - Command
- Library core.filename_base
  - Filename_base
- Library core.heap_block
  - Heap_block
- Library core.top
  - Core_top
- Library core.univ_map
  - Univ_map
    - S
    - S1
    - Key
    - Data
    - Type_id_key
    - Packed
    - Key
    - Make
      - Key
      - Packed
    - Make1
    - Merge
    - Merge1
    - With_default
    - With_fold
    - Multi
- Library core.validate
  - Validate
- Sources

Sourcetype 's t1 =

| T : 'a Key.t * 'a data -> 's t1

Sourcetype t = Base.unit t1