package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Package contains no libraries

Parameters

module K : Map_intf.TaggedEqualType

Signature

module NT : Map_intf.Map with type 'a data = 'a with type key = K.t

A Map without hashconsing, can be also used for reading an hashconsed tree in a polymorphic way, but without using the hashconsed property

module Make
  (Data : Map_intf.HashType) : 
  Map_intf.Map_hashcons
    with type 'a data = Data.t
     and type 'a poly := 'a NT.t
     and type key = NT.key