Declare the erl_types:var_table() type as opaque

and do the following changes:
  in erl_types: export the type and an appropriate constructor for it
  in dialyzer_contracts: perform all necessary code modifications to
    fix all dialyzer warnings

Although no warnings are reported by dialyzer, it's quite possible that
these are not the only places where the opacity of the var_table() data
structure is violated. But I decided to leave these places for a better
version of dialyzer to discover...

0 files changed, 0 insertions, 0 deletions