pointsTo in D1

[Bill Baxter]

Bill Baxter wrote:
> Does anyone know how to D1-ify this (from D2 std.contracts)
> 
> In particular I don't understand what those fancy D2 is-expressions are 
> doing.
> 

I think I got it.

This in D2

> 
>     static if (is(S P : U*, U))

Is another way to say this

       static if (is(S U : U*))

>     else static if (is(S A : U[], U))


Same here -- it's equivalent to   "if(is(S U : U[]))"

--bb