<> <> <> <> <> DIRECTORY CD USING [lambda, Number] ; SXNMosBasicRules: CEDAR DEFINITIONS = BEGIN <> <> <> <> <> polOverDif: CD.Number = CD.lambda; <> <> <> <> difToPolExtSep: CD.Number = 0; polSep: CD.Number = CD.lambda; <> difToPolSep: CD.Number = difToPolExtSep + polSep; -- not halved! contactWidth: CD.Number = 4 * CD.lambda; END.