[m-rev.] for review: Define equality for version_hash_tables

[Paul Bone]

On Mon, May 27, 2013 at 01:44:24PM +1000, Julien Fischer wrote:
>
> On Mon, 27 May 2013, Peter Wang wrote:
>
>
> Agreed.  Furthermore, the equality predicate needs to be exported from
> the module since things will currently break if it isn't.
>

Do I need to export the type with the where equality is ... expression?
eg:

:- interface.

:- type version_hash_table(K, V)
    where equality is version_hash_table.equals.

:- implementation.

:- type version_hash_table(K, V)
    --->    ht_outer(ht_inner(K, V)).

Thanks.

-- 
Paul Bone
http://www.bone.id.au