CekContext

export type CekContext = BuiltinContext & {
  cost: CostTracker
  getBuiltin(id: number): undefined | Builtin
  popLastMessage(): string | undefined
  print(
    message: string,
    site: Site
  ): void
}