package cascade

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

Module Summary.MapSource

Sourcetype 'a t
Sourceval empty : 'a t

Empty property-keyed map.

Sourceval add : Declaration.prop_key -> 'a -> 'a t -> 'a t

add prop v t returns t with prop bound to v.

Sourceval mem : Declaration.prop_key -> 'a t -> bool

mem prop t is true when prop is bound in t.

Sourceval find_opt : Declaration.prop_key -> 'a t -> 'a option

find_opt prop t returns the value bound to prop, if any.