github.com/aakash4dev/cometbft@v0.38.2/spec/mempool/quint/System.qnt (about)

     1  // -*- mode: Bluespec; -*-
     2  module System{
     3      type Process = str
     4      type Tx = str
     5      type Block = Set[Tx]
     6  
     7      pure val PROCESSES=Set("alice", "bob", "charlie")
     8      pure val TXS=Set("T0", "T1", "T2")
     9  }