| Env.OptValue (Some v) -> "Some " ^ pp_value status v
| Env.OptValue None -> "None"
| Env.ListValue l -> sprintf "[%s]" (String.concat "; " (List.map (pp_value status) l))
- | Env.LocValue l -> sprintf "#"
+ | Env.DisambiguationValue _ -> sprintf "#"
let rec pp_value_type =
function