package lrgrep

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

Parameter ForCustomMaps.V

val get : G.variable -> P.property

get looks up the map. It cannot raise an exception.

val set : G.variable -> P.property -> unit

set updates the map at an existing key.