package p4spectec

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

Module Splicer.Make_storeSource

Parameters

module K : KEY
module V : VALUE
module I : INIT with type key = K.t and type value = V.t

Signature

Sourcetype key = K.t
Sourcetype value = V.t
Sourcetype t
Sourceval cardinal : t -> int
Sourceval add : key -> value -> t -> t
Sourceval find_opt : t -> key -> value option
Sourceval use : t -> key -> unit
Sourceval used : t -> key -> bool
Sourceval unused : t -> key list
Sourceval empty : t