-- TinyB.model (defaults)
--
REC [Defs: TYPE ~@Defs.bcd!2601243671*[],
DefsImpl: Defs~@DefsImpl.bcd!2601243675*[],
DefsClient: CONTROL~@DefsClient.bcd!2601243678*[]]