1 import "JavaBuiltin" as Java
3 importJava "java.util.List" where
6 add :: List a -> a -> <Proc> Boolean
8 importJava "java.util.ArrayList" where
10 arrayList :: Integer -> <Proc> List a
12 singleton :: a -> <Proc> List a
19 main = runProc (singleton (13 :: Integer))