What, where, identifier

What, where, identifier

mk_global i is {id = i.id; scope=Global}

mk_local i is {id = i.id; scope=Local}

upd_id f i is {id = f i.id; scope = i.scope}

pp fmt i prints identifier i using formatter fmt

For identifiers with a local scope, pp_qual fmt i is pp fmt i. For identifiers with a global scope, a leading "$" is prepended to the name.

Used to define sets and maps of identifiers. Warning: scope is _not_ taken into account.