<> <> <> <> <<>> <<>> <<>> DIRECTORY Core, CStitching, SymTab; JasmineModel: CEDAR DEFINITIONS = BEGIN JasmineModelLocation: TYPE = RECORD [row: INT, col: INT]; CreateModel: PROC [tesselation: CStitching.Tesselation] RETURNS [model: SymTab.Ref]; MapConvert: PROC [jml: JasmineModelLocation] RETURNS [sym: Core.ROPE]; END.