module test

import StdGeneric
import T


:: T | T1

generic gDefault a :: a

gDefault{|T|} = T1

Start :: T
Start = T1