-- Tiny2.model
--
REC [Defs: TYPE Defs~@Defs.mesa!2602528058[""][];
DefsA: TYPE DefsA~@DefsA.mesa!2599165921[""][];
DefsImpl1: Defs~@DefsImpl.mesa!2602528544["", Defs][];
[DefsImpl: Defs,DefsAImpl: DefsA]~@DefsImplA.mesa!2602186336[DefsA, "", Defs][];
DefsClient: CONTROL~@DefsClient.cedar!2602527953[Defs, ""][DefsImpl THEN DefsImpl1]]