• en

Functor Identifiable.Make

module Make:
functor (T : Thing) -> S with type t := T.t
Parameters:
T : Thing 
type t 
module T: Identifiable.Thing  with type t = t
include Identifiable.Thing
module Set: Identifiable.Set  with module T := T
module Map: Identifiable.Map  with module T := T
module Tbl: Identifiable.Tbl  with module T := T
The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.