Functor Identifiable.Make

module Make: 
functor (T : Thing) -> S  with type t := T.t

type t 

module T: Identifiable.Thing  with type t = t

include Identifiable.Thing

module Set: sig .. end

module Map: sig .. end

module Tbl: sig .. end

The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.