-- Tiny3.model
--
REC [
Defs: TYPE Defs~@Defs.mesa!2602528058[""][]; 
DefsImpl1: Defs~@DefsImpl.mesa!2602528544[Defs, ""][]; 
DefsImpl2: Defs~@DefsImplB.mesa!2600718105[Defs, ""][]; 
DefsClient: CONTROL~@DefsClient.mesa!2605890137[Defs, ""][DefsImpl1 
THEN DefsImpl2]]