type Timeout = Event[Unit]

pub(all) struct AnyResult[T] {
  winner_id : Int
  winner_index : Int
  value : T
  pending_ids : Array[Int]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum CancelReason {
  UserCancelled(String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct Event[T] {
  // private fields
}

type EventCell[T]

pub(all) enum EventState {
  Pending
  Scheduled(
@mokomoking2501/lockwire/core.VTime
VTime)
  Processed
  Cancelled(CancelReason)
  Failed(String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct ProcessHandle[T] {
  // private fields
}

type ScheduledAction

pub struct SimEnv {
  // private fields
}

pub(all) enum StepResult {
  StepProcessed(event_id~ : Int, time~ : 
@mokomoking2501/lockwire/core.VTime
VTime)
  Idle
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

fn[T] all_of(env : SimEnv, events : Array[Event[T]]) -> Event[Array[T]]

fn[T] any_of(env : SimEnv, events : Array[Event[T]]) -> Event[AnyResult[T]]

fn[T] cancel(ev : Event[T], reason : CancelReason) -> Unit

fn[T] event(env : SimEnv) -> Event[T]

fn[T] fail(ev : Event[T], message : String) -> Unit

fn package_id() -> String

fn[T] spawn(env : SimEnv, name~ : String, f : (SimEnv) -> T) -> ProcessHandle[T]

fn[T] succeed(ev : Event[T], value : T) -> Unit

fn timeout(env : SimEnv, d : 
@mokomoking2501/lockwire/core.Duration
Duration) -> Event[Unit]