Module Kernel.SymbolicPath

module SymbolicPath: Parameter_sig.Filepath_map  with type value = string

Behavior of option "-add-symbolic-path"

Change in 23.0-Vanadium

type key

Type of keys of the map.

type value

Type of the values associated to the keys.

include Parameter_sig.Collection

A map is a collection in which elements are pairs (key, value), but some values may be missing.

val find : key -> value

Search a given key in the map.

val mem : key -> bool