8 lines
240 B
Text
8 lines
240 B
Text
|
)abbrev package TESTP TestPackage
|
||
|
|
TestPackage(T:SetCategory) : with
|
||
|
|
_*: (List((T->T)),List((T->T))) -> (T -> List T)
|
||
|
|
== add
|
||
|
|
import MappingPackage3(T,T,T)
|
||
|
|
fs * gs ==
|
||
|
|
((x:T):(List T) +-> [(f*g) x for f in fs for g in gs])
|