1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
## ## specialised_is_equivalent Nimrod Module ## ## Created by Eric Doughty-Papassideris on 2011-02-16. ## Copyright (c) 2011 FWA. All rights reserved. type TGen[T] = tuple[a: T] TSpef = tuple[a: string] var a: TGen[string] b: TSpef a = b