7 lines
240 B
Text
7 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])
|