fibril_core (cargo): Core types for the Fibril library.
Keywords: actor|simulation|paxos|raft|model-checking