Protocol contract kernel for Isochronon
Published modules that use this version
///|test "axis authority projection smoke" { let projection = axis_authority_protocol().project(role(name="controller")) assert_eq(projection.steps.length(), 4)}
using @mokomoking2501/concord/protocol_ast { type ConformanceFailure }
using @mokomoking2501/concord/protocol_ast { type ConformanceFailureSource }
using @mokomoking2501/concord/protocol_ast { type ConformanceReport }
using @mokomoking2501/concord/protocol_ast { type GlobalProtocol }
using @mokomoking2501/concord/protocol_ast { type LocalDirection }
using @mokomoking2501/concord/protocol_ast { type LocalProtocol }
using @mokomoking2501/concord/protocol_ast { type LocalStep }
using @mokomoking2501/concord/protocol_ast { type ObserverBackend }
using @mokomoking2501/concord/protocol_ast { type ProtocolLintIssue }
using @mokomoking2501/concord/protocol_ast { type ProtocolLintReport }
using @mokomoking2501/concord/protocol_ast { type ProtocolMessage }
using @mokomoking2501/concord/protocol_ast { type ProtocolMonitor }
using @mokomoking2501/concord/protocol_ast { type ProtocolMonitorReport }
using @mokomoking2501/concord/protocol_ast { type ProtocolViolation }
using @mokomoking2501/concord/protocol_ast { type Role }
using @mokomoking2501/concord/protocol_ast { type RoleProtocolReport }
fn axis_authority_protocol() -> @mokomoking2501/concord/protocol_ast.GlobalProtocolGlobalProtocol
fn package_id() -> String
fn role(name~ : String) -> @mokomoking2501/concord/protocol_ast.RoleRole
Install
Powered by MoonBit
© 2026 mooncakes.io