Смарт-контракти на TypeScript: Реалізація типів логіки контрактів | MLOG | MLOG