module BuiltinsOverrides:Parameter_sig.Map
with type key = Cil_types.kernel_function and type value = string
type
key
type
value
include Parameter_sig.Collection
(key, value)
, but some
values may be missing.val find : key -> value
Not_found
if there is no such key in the map.val mem : key -> bool