[PEAK] Rules clarification

[Phillip J. Eby]

At 07:36 AM 2/28/2008 +0200, Sergey Schetinin wrote:
>After poking around the code a bit I see that an appropriate
>implementation of that seems to be:
>
>@when(implies, (object, type))
>def type_implies(s1,s2):
>     return implies(s1, (s2,))

The 'object' should be 'istype(tuple)', actually.  And of course a 
reverse definition (type, tuple) is needed, and two more versions for 
classic classes.