-- Tiny.model
--
REC [Defs: TYPE Defs~@Defs.mesa!2602528058[""][];
DefsImpl: Defs~@DefsImpl.mesa!2602528544[Defs,""][];
DefsClient: CONTROL~@DefsClient.mesa!2605890137[Defs,""][DefsImpl]]