{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"///"}]}
/// If two distinct values are inserted into a set, then it
/// A set containing, at most, one known element.
/// becomes `Many`, which can be used to detect ambiguities.