package piqilib

  1. Overview
  2. Docs
package piqilib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Piqi_db.IdtableSource

Sourcemodule M : sig ... end
Sourcetype 'a t = 'a M.t
Sourceval empty : 'a M.t
Sourceval add : 'a M.t -> M.key -> 'a -> 'a M.t
Sourceval find : 'a M.t -> M.key -> 'a
Sourceval remove : 'a M.t -> M.key -> 'a M.t
Sourceval mem : 'a M.t -> M.key -> bool
Sourceval fold : (M.key -> 'a -> 'b -> 'b) -> 'b -> 'a M.t -> 'b