<> <> <> DIRECTORY BigCardinals, Codes, Rope; CodesImpl: CEDAR PROGRAM IMPORTS Rope EXPORTS Codes = {OPEN Codes; Translate: PUBLIC PROC [code: Code, source: ROPE, to: Language] RETURNS [translated: ROPE] = { state: DecisionTree _ }; }.