Searched refs:SomeGeneralizableArgs (Results 1 – 5 of 5) sorted by relevance
322 icod_ (SomeGeneralizableArgs a) = icodeN' SomeGeneralizableArgs a326 valu [a] = valuN SomeGeneralizableArgs a
264 apply (SomeGeneralizableArgs n) args = SomeGeneralizableArgs (n - length args)634 abstract tel (SomeGeneralizableArgs n) = SomeGeneralizableArgs (size tel + n)
701 SomeGeneralizableArgs n -> n
552 { defArgGeneralizable = SomeGeneralizableArgs n }
1811 | SomeGeneralizableArgs !Int constructor4633 rnf (SomeGeneralizableArgs _) = ()