Module grisp_emulation_pmod_acl2

broadcast(State, Message) -> any()

init() -> any()

message(State, X2) -> any()