Skip to main content

MAP_METHODS

Constant MAP_METHODS 

Source
pub const MAP_METHODS: &[&str];
Expand description

The built-in Map[K, V] methods this codegen lowers natively per target.

Mirrors the checker’s Map method resolution (checker.rs): get returns Optional[V]; set/delete/merge/filter return the (receiver) map; keys/values/entries/to_list return a List; len/length/count an Int; contains_key/is_empty a Bool; for_each Void. Membership is spelled contains_key (the checker’s name); a bare contains on a Map does not resolve to a built-in (see the PR’s Q-map-contains-name note).