module test

import StdEnv
import StdGeneric

generic gen a :: a

gen{|Int|} = 0
gen{|OBJECT|} fa = OBJECT fa

:: BI =: BI Int
derive gen BI

//Start w = startEngine (viewInformation "" [ViewAs (\t->TtTag [] [Text t])] "bork") w
Start :: BI
Start = gen{|*|}