package rocq-runtime

  1. Overview
  2. Docs
package rocq-runtime
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type Environ.QMapSSource

Sourcetype key
Sourcetype +'a t
Sourceval empty : 'a t
Sourceval is_empty : 'a t -> bool
Sourceval mem : env -> key -> 'a t -> bool
Sourceval add : env -> key -> 'a -> 'a t -> 'a t
Sourceval remove : env -> key -> 'a t -> 'a t
Sourceval fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
Sourceval merge : (key -> 'a option -> 'b option -> 'c option) -> 'a t -> 'b t -> 'c t
Sourceval find : env -> key -> 'a t -> 'a
Sourceval find_opt : env -> key -> 'a t -> 'a option