Module Kernel.SymbolicPath

module SymbolicPath: Parameter_sig.String_set 
Behavior of option "-add-symbolic-path"
Since Neon-20140301

include Parameter_sig.Collection

A set is a collection.

A set is a collection.

Additional accessors to the set.


val mem : elt -> bool
Does the given element belong to the set?
val exists : (elt -> bool) -> bool
Is there some element satisfying the given predicate?