let pp_data fmt = function | Data d -> Format.fprintf fmt "Data=%a" F.pp_term d | Loc l -> Format.fprintf fmt "Loc=%a" M.pp_loc l | Value v -> Format.fprintf fmt "Value=%a" M.pp_value v | _ -> Format.fprintf fmt "Blob"