--TinyT.model

REC [Defs: TYPE Defs~@Defs.mesa!2602528058[][];
ClientSrc: [Defs: TYPE Defs] -> [DefsImpl: Defs] -> []~@DefsClient.mesa!2602527953;
ClientBcd: [DefsImpl: Defs] -> []~ClientSrc[Defs];
Client: CONTROL~ClientBcd[@DefsImpl.mesa!2602528544*[][]]]