links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Tables
val init_size : int
val find : ( 'a, 'b ) Utility.Hashtbl.t -> 'a -> 'b
val lookup : ( 'a, 'b ) Utility.Hashtbl.t -> 'a -> 'b option
val mem : ( 'a, 'b ) Utility.Hashtbl.t -> 'a -> bool