<> <> <> Include [SaffronBaseDecls]; SaffronTreeBucket: Module = Begin foo: TreeRecursiveFunction [ Tree ] Returns [ INT ] End. <> <<>>