xstate 5.0.0-alpha.0 → 5.0.0-alpha.2

package/dist/declarations/src/types.d.ts

@@ -1,1026 +1,1008 @@
-import type { StateNode } from './StateNode';
-import type { State } from './State';
-import type { Clock, Interpreter } from './interpreter';
-import type { StateMachine } from './StateMachine';
-import type { LifecycleSignal } from './actors';
-import type { Model } from './model.types';
-import { TypegenDisabled, ResolveTypegenMeta, TypegenConstraint, MarkAllImplementationsAsProvided, AreAllImplementationsAssumedToBeProvided } from './typegenTypes';
-export declare type AnyFunction = (...args: any[]) => any;
-declare type ReturnTypeOrValue<T> = T extends AnyFunction ? ReturnType<T> : T;
-export declare type IsNever<T> = [T] extends [never] ? true : false;
-export declare type Compute<A extends any> = {
-    [K in keyof A]: A[K];
-} & unknown;
-export declare type Prop<T, K> = K extends keyof T ? T[K] : never;
-export declare type Values<T> = T[keyof T];
-export declare type Merge<M, N> = Omit<M, keyof N> & N;
-export declare type IndexByType<T extends {
-    type: string;
-}> = {
-    [K in T['type']]: T extends any ? (K extends T['type'] ? T : never) : never;
-};
-export declare type Equals<A1 extends any, A2 extends any> = (<A>() => A extends A2 ? true : false) extends <A>() => A extends A1 ? true : false ? true : false;
-export declare type IsAny<T> = Equals<T, any>;
-export declare type Cast<A, B> = A extends B ? A : B;
-export declare type NoInfer<T> = [T][T extends any ? 0 : any];
-export declare type LowInfer<T> = T & {};
-export declare type EventType = string;
-export declare type ActionType = string;
-export declare type MetaObject = Record<string, any>;
-export declare type Lazy<T> = () => T;
-export declare type MaybeLazy<T> = T | Lazy<T>;
-/**
- * The full definition of an event, with a string `type`.
- */
-export interface EventObject {
-    /**
-     * The type of event that is sent.
-     */
-    type: string;
-}
-export interface AnyEventObject extends EventObject {
-    [key: string]: any;
-}
-export interface BaseActionObject {
-    type: string;
-    params?: Record<string, any>;
-}
-export interface BuiltInActionObject {
-    type: `xstate.${string}`;
-    params: Record<string, any>;
-}
-export interface BaseDynamicActionObject<TContext extends MachineContext, TEvent extends EventObject, TResolvedAction extends BaseActionObject, TDynamicParams extends Record<string, any>> {
-    type: `xstate.${string}`;
-    params: TDynamicParams;
-    resolve: (dynamicAction: BaseDynamicActionObject<TContext, TEvent, TResolvedAction, TDynamicParams>, context: TContext, _event: SCXML.Event<TEvent>, extra: {
-        machine: StateMachine<TContext, TEvent>;
-        state: State<TContext, TEvent>;
-        /**
-         * The original action object
-         */
-        action: BaseActionObject;
-    }) => TResolvedAction;
-}
-export declare type MachineContext = Record<string, any>;
-/**
- * The specified string event types or the specified event objects.
- */
-export declare type Event<TEvent extends EventObject> = TEvent['type'] | TEvent;
-export interface ActionMeta<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject> extends StateMeta<TContext, TEvent> {
-    action: TAction;
-    _event: SCXML.Event<TEvent>;
-}
-export declare type Spawner = <T extends Behavior<any, any> | string>(// TODO: read string from machine behavior keys
-behavior: T, name?: string) => T extends Behavior<infer TActorEvent, infer TActorEmitted> ? ActorRef<TActorEvent, TActorEmitted> : ActorRef<any, any>;
-export interface AssignMeta<TContext extends MachineContext, TEvent extends EventObject> {
-    state: State<TContext, TEvent>;
-    action: BaseActionObject;
-    _event: SCXML.Event<TEvent>;
-    spawn: Spawner;
-}
-export declare type ActionFunction<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject> = {
-    bivarianceHack(context: TContext, event: TEvent, meta: ActionMeta<TContext, TEvent, TAction>): void;
-}['bivarianceHack'];
-export interface ChooseCondition<TContext extends MachineContext, TEvent extends EventObject> {
-    guard?: GuardConfig<TContext, TEvent>;
-    actions: Actions<TContext, TEvent>;
-}
-export declare type Action<TContext extends MachineContext, TEvent extends EventObject> = ActionType | BaseActionObject | ActionFunction<TContext, TEvent> | BaseDynamicActionObject<TContext, TEvent, any, any>;
-/**
- * Extracts action objects that have no extra properties.
- */
-declare type SimpleActionsFrom<T extends BaseActionObject> = BaseActionObject extends T ? T : ExtractWithSimpleSupport<T>;
-export declare type BaseAction<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject> = BaseDynamicActionObject<TContext, TEvent, any, // TODO: at the very least this should include TAction, but probably at a covariant position or something, we really need to rethink how action objects are typed
-any> | TAction | SimpleActionsFrom<TAction>['type'] | ActionFunction<TContext, TEvent>;
-export declare type BaseActions<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject> = SingleOrArray<BaseAction<TContext, TEvent, TAction>>;
-export declare type Actions<TContext extends MachineContext, TEvent extends EventObject> = SingleOrArray<Action<TContext, TEvent>>;
-export declare type StateKey = string | AnyState;
-export interface StateValueMap {
-    [key: string]: StateValue;
-}
-/**
- * The string or object representing the state value relative to the parent state node.
- *
- * - For a child atomic state node, this is a string, e.g., `"pending"`.
- * - For complex state nodes, this is an object, e.g., `{ success: "someChildState" }`.
- */
-export declare type StateValue = string | StateValueMap;
-export declare type GuardPredicate<TContext extends MachineContext, TEvent extends EventObject> = (context: TContext, event: TEvent, meta: GuardMeta<TContext, TEvent>) => boolean;
-export interface DefaultGuardObject<TContext extends MachineContext, TEvent extends EventObject> {
-    type: string;
-    params?: {
-        [key: string]: any;
-    };
-    /**
-     * Nested guards
-     */
-    children?: Array<GuardObject<TContext, TEvent>>;
-    predicate?: GuardPredicate<TContext, TEvent>;
-}
-export declare type GuardEvaluator<TContext extends MachineContext, TEvent extends EventObject> = (guard: GuardDefinition<TContext, TEvent>, context: TContext, _event: SCXML.Event<TEvent>, state: State<TContext, TEvent>, machine: StateMachine<TContext, TEvent>) => boolean;
-export interface GuardMeta<TContext extends MachineContext, TEvent extends EventObject> extends StateMeta<TContext, TEvent> {
-    guard: GuardDefinition<TContext, TEvent>;
-    evaluate: GuardEvaluator<TContext, TEvent>;
-}
-export declare type GuardConfig<TContext extends MachineContext, TEvent extends EventObject> = string | GuardPredicate<TContext, TEvent> | GuardObject<TContext, TEvent>;
-export declare type GuardObject<TContext extends MachineContext, TEvent extends EventObject> = BooleanGuardObject<TContext, TEvent> | DefaultGuardObject<TContext, TEvent>;
-export interface GuardDefinition<TContext extends MachineContext, TEvent extends EventObject> {
-    type: string;
-    children?: Array<GuardDefinition<TContext, TEvent>>;
-    predicate?: GuardPredicate<TContext, TEvent>;
-    params: {
-        [key: string]: any;
-    };
-}
-export interface BooleanGuardObject<TContext extends MachineContext, TEvent extends EventObject> {
-    type: 'xstate.boolean';
-    children: Array<GuardConfig<TContext, TEvent>>;
-    params: {
-        op: 'and' | 'or' | 'not';
-    };
-    predicate: undefined;
-}
-export interface BooleanGuardDefinition<TContext extends MachineContext, TEvent extends EventObject> extends GuardDefinition<TContext, TEvent> {
-    type: 'xstate.boolean';
-    params: {
-        op: 'and' | 'or' | 'not';
-    };
-}
-export declare type TransitionTarget<TContext extends MachineContext, TEvent extends EventObject> = SingleOrArray<string | StateNode<TContext, TEvent>>;
-export declare type TransitionTargets<TContext extends MachineContext> = Array<string | StateNode<TContext, any>>;
-export interface TransitionConfig<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject> {
-    guard?: GuardConfig<TContext, TEvent>;
-    actions?: BaseActions<TContext, TEvent, TAction>;
-    internal?: boolean;
-    target?: TransitionTarget<TContext, TEvent> | undefined;
-    meta?: Record<string, any>;
-    description?: string;
-}
-export interface TargetTransitionConfig<TContext extends MachineContext, TEvent extends EventObject> extends TransitionConfig<TContext, TEvent> {
-    target: TransitionTarget<TContext, TEvent>;
-}
-export declare type ConditionalTransitionConfig<TContext extends MachineContext, TEvent extends EventObject = EventObject> = Array<TransitionConfig<TContext, TEvent>>;
-export interface InitialTransitionConfig<TContext extends MachineContext, TEvent extends EventObject> extends TransitionConfig<TContext, TEvent> {
-    guard?: never;
-    target: TransitionTarget<TContext, TEvent>;
-}
-export declare type Transition<TContext extends MachineContext, TEvent extends EventObject = EventObject> = string | TransitionConfig<TContext, TEvent> | ConditionalTransitionConfig<TContext, TEvent>;
-declare type ExcludeType<A> = {
-    [K in Exclude<keyof A, 'type'>]: A[K];
-};
-declare type ExtractExtraParameters<A, T> = A extends {
-    type: T;
-} ? ExcludeType<A> : never;
-declare type ExtractWithSimpleSupport<T extends {
-    type: string;
-}> = T extends any ? {
-    type: T['type'];
-} extends T ? T : never : never;
-declare type NeverIfEmpty<T> = {} extends T ? never : T;
-export interface PayloadSender<TEvent extends EventObject> {
-    /**
-     * Send an event object or just the event type, if the event has no other payload
-     */
-    (event: SCXML.Event<TEvent> | TEvent | ExtractWithSimpleSupport<TEvent>['type']): void;
-    /**
-     * Send an event type and its payload
-     */
-    <K extends TEvent['type']>(eventType: K, payload: NeverIfEmpty<ExtractExtraParameters<TEvent, K>>): void;
-}
-export declare type Receiver<TEvent extends EventObject> = (listener: {
-    bivarianceHack(event: TEvent): void;
-}['bivarianceHack']) => void;
-export declare type InvokeCallback<TEvent extends EventObject = AnyEventObject, TSentEvent extends EventObject = AnyEventObject> = (callback: Sender<TSentEvent>, onReceive: Receiver<TEvent>) => (() => void) | Promise<any> | void;
-export declare type BehaviorCreator<TContext extends MachineContext, TEvent extends EventObject, TSnapshot = any> = (context: TContext, event: TEvent, meta: {
-    id: string;
-    data?: any;
-    src: InvokeSourceDefinition;
-    _event: SCXML.Event<TEvent>;
-    meta: MetaObject | undefined;
-}) => Behavior<any, TSnapshot>;
-export interface InvokeMeta {
-    data: any;
-    src: InvokeSourceDefinition;
-    meta: MetaObject | undefined;
-}
-export interface InvokeDefinition<TContext extends MachineContext, TEvent extends EventObject> {
-    id: string;
-    /**
-     * The source of the actor's behavior to be invoked
-     */
-    src: InvokeSourceDefinition;
-    /**
-     * If `true`, events sent to the parent service will be forwarded to the invoked service.
-     *
-     * Default: `false`
-     */
-    autoForward?: boolean;
-    /**
-     * Data from the parent machine's context to set as the (partial or full) context
-     * for the invoked child machine.
-     *
-     * Data should be mapped to match the child machine's context shape.
-     */
-    data?: Mapper<TContext, TEvent, any> | PropertyMapper<TContext, TEvent, any>;
-    /**
-     * The transition to take upon the invoked child machine reaching its final top-level state.
-     */
-    onDone?: string | SingleOrArray<TransitionConfig<TContext, DoneInvokeEvent<any>>>;
-    /**
-     * The transition to take upon the invoked child machine sending an error event.
-     */
-    onError?: string | SingleOrArray<TransitionConfig<TContext, ErrorEvent<any>>>;
-    onSnapshot?: string | SingleOrArray<TransitionConfig<TContext, SnapshotEvent<any>>>;
-    toJSON: () => Omit<InvokeDefinition<TContext, TEvent>, 'onDone' | 'onError' | 'toJSON'>;
-    meta: MetaObject | undefined;
-}
-export interface Delay {
-    id: string;
-    /**
-     * The time to delay the event, in milliseconds.
-     */
-    delay: number;
-}
-export declare type DelayedTransitions<TContext extends MachineContext, TEvent extends EventObject> = Record<string | number, string | SingleOrArray<TransitionConfig<TContext, TEvent>>> | Array<TransitionConfig<TContext, TEvent> & {
-    delay: number | string | Expr<TContext, TEvent, number>;
-}>;
-export declare type StateTypes = 'atomic' | 'compound' | 'parallel' | 'final' | 'history' | string;
-export declare type SingleOrArray<T> = T[] | T;
-export declare type StateNodesConfig<TContext extends MachineContext, TEvent extends EventObject> = {
-    [K in string]: StateNode<TContext, TEvent>;
-};
-export declare type StatesConfig<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject> = {
-    [K in string]: StateNodeConfig<TContext, TEvent, TAction>;
-};
-export declare type StatesDefinition<TContext extends MachineContext, TEvent extends EventObject> = {
-    [K in string]: StateNodeDefinition<TContext, TEvent>;
-};
-export declare type TransitionConfigTarget<TContext extends MachineContext, TEvent extends EventObject> = string | undefined | StateNode<TContext, TEvent>;
-export declare type TransitionConfigOrTarget<TContext extends MachineContext, TEvent extends EventObject> = SingleOrArray<TransitionConfigTarget<TContext, TEvent> | TransitionConfig<TContext, TEvent>>;
-export declare type TransitionsConfigMap<TContext extends MachineContext, TEvent extends EventObject> = {
-    [K in TEvent['type'] | '' | '*']?: K extends '' | '*' ? TransitionConfigOrTarget<TContext, TEvent> : TransitionConfigOrTarget<TContext, ExtractEvent<TEvent, K>>;
-};
-declare type TransitionsConfigArray<TContext extends MachineContext, TEvent extends EventObject> = Array<(TEvent extends EventObject ? TransitionConfig<TContext, TEvent> & {
-    event: TEvent['type'];
-} : never) | (TransitionConfig<TContext, TEvent> & {
-    event: '*';
-})>;
-export declare type TransitionsConfig<TContext extends MachineContext, TEvent extends EventObject> = TransitionsConfigMap<TContext, TEvent> | TransitionsConfigArray<TContext, TEvent>;
-export interface InvokeSourceDefinition {
-    [key: string]: any;
-    type: string;
-}
-export interface InvokeConfig<TContext extends MachineContext, TEvent extends EventObject> {
-    /**
-     * The unique identifier for the invoked machine. If not specified, this
-     * will be the machine's own `id`, or the URL (from `src`).
-     */
-    id?: string;
-    /**
-     * The source of the machine to be invoked, or the machine itself.
-     */
-    src: string | InvokeSourceDefinition | BehaviorCreator<TContext, TEvent> | Behavior<any, any>;
-    /**
-     * If `true`, events sent to the parent service will be forwarded to the invoked service.
-     *
-     * Default: `false`
-     */
-    autoForward?: boolean;
-    /**
-     * Data from the parent machine's context to set as the (partial or full) context
-     * for the invoked child machine.
-     *
-     * Data should be mapped to match the child machine's context shape.
-     */
-    data?: Mapper<TContext, TEvent, any> | PropertyMapper<TContext, TEvent, any>;
-    /**
-     * The transition to take upon the invoked child machine reaching its final top-level state.
-     */
-    onDone?: string | SingleOrArray<TransitionConfig<TContext, DoneInvokeEvent<any>>>;
-    /**
-     * The transition to take upon the invoked child machine sending an error event.
-     */
-    onError?: string | SingleOrArray<TransitionConfig<TContext, DoneInvokeEvent<any>>>;
-    onSnapshot?: string | SingleOrArray<TransitionConfig<TContext, SnapshotEvent<any>>>;
-    /**
-     * Meta data related to this invocation
-     */
-    meta?: MetaObject;
-}
-export interface StateNodeConfig<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject> {
-    /**
-     * The relative key of the state node, which represents its location in the overall state value.
-     * This is automatically determined by the configuration shape via the key where it was defined.
-     */
-    key?: string;
-    /**
-     * The initial state transition.
-     */
-    initial?: InitialTransitionConfig<TContext, TEvent> | SingleOrArray<string> | undefined;
-    /**
-     * The type of this state node:
-     *
-     *  - `'atomic'` - no child state nodes
-     *  - `'compound'` - nested child state nodes (XOR)
-     *  - `'parallel'` - orthogonal nested child state nodes (AND)
-     *  - `'history'` - history state node
-     *  - `'final'` - final state node
-     */
-    type?: 'atomic' | 'compound' | 'parallel' | 'final' | 'history';
-    /**
-     * Indicates whether the state node is a history state node, and what
-     * type of history:
-     * shallow, deep, true (shallow), false (none), undefined (none)
-     */
-    history?: 'shallow' | 'deep' | boolean | undefined;
-    /**
-     * The mapping of state node keys to their state node configurations (recursive).
-     */
-    states?: StatesConfig<TContext, TEvent, TAction> | undefined;
-    /**
-     * The services to invoke upon entering this state node. These services will be stopped upon exiting this state node.
-     */
-    invoke?: SingleOrArray<string | BehaviorCreator<TContext, TEvent> | InvokeConfig<TContext, TEvent>>;
-    /**
-     * The mapping of event types to their potential transition(s).
-     */
-    on?: TransitionsConfig<TContext, TEvent>;
-    /**
-     * The action(s) to be executed upon entering the state node.
-     */
-    entry?: BaseActions<TContext, TEvent, TAction>;
-    /**
-     * The action(s) to be executed upon exiting the state node.
-     */
-    exit?: BaseActions<TContext, TEvent, TAction>;
-    /**
-     * The potential transition(s) to be taken upon reaching a final child state node.
-     *
-     * This is equivalent to defining a `[done(id)]` transition on this state node's `on` property.
-     */
-    onDone?: string | SingleOrArray<TransitionConfig<TContext, DoneEventObject>> | undefined;
-    /**
-     * The mapping (or array) of delays (in milliseconds) to their potential transition(s).
-     * The delayed transitions are taken after the specified delay in an interpreter.
-     */
-    after?: DelayedTransitions<TContext, TEvent>;
-    /**
-     * An eventless transition that is always taken when this state node is active.
-     */
-    always?: TransitionConfigOrTarget<TContext, TEvent>;
-    /**
-     * @private
-     */
-    parent?: StateNode<TContext, TEvent>;
-    strict?: boolean | undefined;
-    /**
-     * The meta data associated with this state node, which will be returned in State instances.
-     */
-    meta?: any;
-    /**
-     * The data sent with the "done.state._id_" event if this is a final state node.
-     *
-     * The data will be evaluated with the current `context` and placed on the `.data` property
-     * of the event.
-     */
-    data?: Mapper<TContext, TEvent, any> | PropertyMapper<TContext, TEvent, any>;
-    /**
-     * The unique ID of the state node, which can be referenced as a transition target via the
-     * `#id` syntax.
-     */
-    id?: string | undefined;
-    /**
-     * The string delimiter for serializing the path to a string. The default is "."
-     */
-    delimiter?: string;
-    /**
-     * The order this state node appears. Corresponds to the implicit SCXML document order.
-     */
-    order?: number;
-    /**
-     * The tags for this state node, which are accumulated into the `state.tags` property.
-     */
-    tags?: SingleOrArray<string>;
-    /**
-     * Whether actions should be called in order.
-     * When `false` (default), `assign(...)` actions are prioritized before other actions.
-     *
-     * @default false
-     */
-    preserveActionOrder?: boolean;
-    /**
-     * A text description of the state node
-     */
-    description?: string;
-}
-export interface StateNodeDefinition<TContext extends MachineContext, TEvent extends EventObject> {
-    id: string;
-    version?: string | undefined;
-    key: string;
-    context: TContext;
-    type: 'atomic' | 'compound' | 'parallel' | 'final' | 'history';
-    initial: InitialTransitionDefinition<TContext, TEvent> | undefined;
-    history: boolean | 'shallow' | 'deep' | undefined;
-    states: StatesDefinition<TContext, TEvent>;
-    on: TransitionDefinitionMap<TContext, TEvent>;
-    transitions: Array<TransitionDefinition<TContext, TEvent>>;
-    entry: BaseActionObject[];
-    exit: BaseActionObject[];
-    meta: any;
-    order: number;
-    data?: FinalStateNodeConfig<TContext, TEvent>['data'];
-    invoke: Array<InvokeDefinition<TContext, TEvent>>;
-    description?: string;
-    tags: string[];
-}
-export declare type AnyStateNode = StateNode<any, any>;
-export declare type AnyStateNodeDefinition = StateNodeDefinition<any, any>;
-export declare type AnyState = State<any, any, any>;
-export declare type AnyStateMachine = StateMachine<any, any, any, any, any>;
-export declare type AnyStateConfig = StateConfig<any, AnyEventObject>;
-export interface AtomicStateNodeConfig<TContext extends MachineContext, TEvent extends EventObject> extends StateNodeConfig<TContext, TEvent> {
-    initial?: undefined;
-    parallel?: false | undefined;
-    states?: undefined;
-    onDone?: undefined;
-}
-export interface HistoryStateNodeConfig<TContext extends MachineContext, TEvent extends EventObject> extends AtomicStateNodeConfig<TContext, TEvent> {
-    history: 'shallow' | 'deep' | true;
-    target: string | undefined;
-}
-export interface FinalStateNodeConfig<TContext extends MachineContext, TEvent extends EventObject> extends AtomicStateNodeConfig<TContext, TEvent> {
-    type: 'final';
-    /**
-     * The data to be sent with the "done.state.<id>" event. The data can be
-     * static or dynamic (based on assigners).
-     */
-    data?: Mapper<TContext, TEvent, any> | PropertyMapper<TContext, TEvent, any>;
-}
-export declare type SimpleOrStateNodeConfig<TContext extends MachineContext, TEvent extends EventObject> = AtomicStateNodeConfig<TContext, TEvent> | StateNodeConfig<TContext, TEvent>;
-export declare type ActionFunctionMap<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject> = {
-    [K in TAction['type']]?: BaseDynamicActionObject<TContext, TEvent, TAction, any> | ActionFunction<TContext, TEvent, TAction extends {
-        type: K;
-    } ? TAction : never>;
-};
-export declare type DelayFunctionMap<TContext extends MachineContext, TEvent extends EventObject> = Record<string, DelayConfig<TContext, TEvent>>;
-export declare type DelayConfig<TContext extends MachineContext, TEvent extends EventObject> = number | DelayExpr<TContext, TEvent>;
-export interface MachineImplementationsSimplified<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject> {
-    guards: Record<string, GuardPredicate<TContext, TEvent>>;
-    actions: ActionFunctionMap<TContext, TEvent, TAction>;
-    actors: Record<string, BehaviorCreator<TContext, TEvent>>;
-    delays: DelayFunctionMap<TContext, TEvent>;
-    context: Partial<TContext> | ContextFactory<Partial<TContext>>;
-}
-declare type MachineImplementationsActions<TContext extends MachineContext, TResolvedTypesMeta, TEventsCausingActions = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'eventsCausingActions'>, TIndexedEvents = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedEvents'>, TIndexedActions = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedActions'>> = {
-    [K in keyof TEventsCausingActions]?: BaseDynamicActionObject<TContext, Cast<Prop<TIndexedEvents, TEventsCausingActions[K]>, EventObject>, any, // TODO: this should receive something like `Cast<Prop<TIndexedActions, K>, BaseActionObject>`, but at the moment builtin actions expect Resolved*Action here and this should be simplified somehow
-    any> | ActionFunction<TContext, Cast<Prop<TIndexedEvents, TEventsCausingActions[K]>, EventObject>, Cast<Prop<TIndexedActions, K>, BaseActionObject>>;
-};
-declare type MachineImplementationsDelays<TContext extends MachineContext, TResolvedTypesMeta, TEventsCausingDelays = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'eventsCausingDelays'>, TIndexedEvents = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedEvents'>> = {
-    [K in keyof TEventsCausingDelays]?: DelayConfig<TContext, Cast<Prop<TIndexedEvents, TEventsCausingDelays[K]>, EventObject>>;
-};
-declare type MachineImplementationsGuards<TContext extends MachineContext, TResolvedTypesMeta, TEventsCausingGuards = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'eventsCausingGuards'>, TIndexedEvents = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedEvents'>> = {
-    [K in keyof TEventsCausingGuards]?: GuardPredicate<TContext, Cast<Prop<TIndexedEvents, TEventsCausingGuards[K]>, EventObject>>;
-};
-declare type MachineImplementationsActors<TContext extends MachineContext, TResolvedTypesMeta, TEventsCausingActors = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'eventsCausingActors'>, TIndexedEvents = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedEvents'>, _TInvokeSrcNameMap = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'invokeSrcNameMap'>> = {
-    [K in keyof TEventsCausingActors]?: BehaviorCreator<TContext, Cast<Prop<TIndexedEvents, TEventsCausingActors[K]>, EventObject>>;
-};
-declare type MakeKeysRequired<T extends string> = {
-    [K in T]: unknown;
-};
-declare type MaybeMakeMissingImplementationsRequired<TImplementationType, TMissingImplementationsForType, TRequireMissingImplementations> = TRequireMissingImplementations extends true ? IsNever<TMissingImplementationsForType> extends true ? {} : {
-    [K in Cast<TImplementationType, string>]: MakeKeysRequired<Cast<TMissingImplementationsForType, string>>;
-} : {};
-declare type GenerateActionsImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'actions', Prop<TMissingImplementations, 'actions'>, TRequireMissingImplementations> & {
-    actions?: MachineImplementationsActions<TContext, TResolvedTypesMeta>;
-};
-declare type GenerateDelaysImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'delays', Prop<TMissingImplementations, 'delays'>, TRequireMissingImplementations> & {
-    delays?: MachineImplementationsDelays<TContext, TResolvedTypesMeta>;
-};
-declare type GenerateGuardsImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'guards', Prop<TMissingImplementations, 'guards'>, TRequireMissingImplementations> & {
-    guards?: MachineImplementationsGuards<TContext, TResolvedTypesMeta>;
-};
-declare type GenerateActorsImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'actors', Prop<TMissingImplementations, 'actors'>, TRequireMissingImplementations> & {
-    actors?: MachineImplementationsActors<TContext, TResolvedTypesMeta>;
-};
-export declare type InternalMachineImplementations<TContext extends MachineContext, _TEvent extends EventObject, TResolvedTypesMeta, TRequireMissingImplementations extends boolean = false, TMissingImplementations = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'missingImplementations'>> = GenerateActionsImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> & GenerateDelaysImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> & GenerateGuardsImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> & GenerateActorsImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations>;
-export declare type MachineImplementations<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject, TActorMap extends ActorMap = ActorMap, TTypesMeta extends TypegenConstraint = TypegenDisabled> = InternalMachineImplementations<TContext, TEvent, ResolveTypegenMeta<TTypesMeta, TEvent, TAction, TActorMap>>;
-declare type InitialContext<TContext extends MachineContext> = TContext | ContextFactory<TContext>;
-export declare type ContextFactory<TContext extends MachineContext> = (stuff: {
-    spawn: Spawner;
-}) => TContext;
-export interface MachineConfig<TContext extends MachineContext, TEvent extends EventObject, TAction extends BaseActionObject = BaseActionObject, TActorMap extends ActorMap = ActorMap, TTypesMeta = TypegenDisabled> extends StateNodeConfig<NoInfer<TContext>, NoInfer<TEvent>, TAction> {
-    /**
-     * The initial context (extended state)
-     */
-    context?: InitialContext<LowInfer<TContext>>;
-    /**
-     * The machine's own version.
-     */
-    version?: string;
-    /**
-     * If `true`, will use SCXML semantics, such as event token matching.
-     */
-    scxml?: boolean;
-    schema?: MachineSchema<TContext, TEvent, TActorMap>;
-    tsTypes?: TTypesMeta;
-}
-export declare type ActorMap = Record<string, {
-    data: any;
-}>;
-export interface MachineSchema<TContext extends MachineContext, TEvent extends EventObject, TActorMap extends ActorMap = ActorMap> {
-    context?: TContext;
-    actions?: {
-        type: string;
-        [key: string]: any;
-    };
-    actors?: TActorMap;
-    events?: TEvent;
-    guards?: {
-        type: string;
-        [key: string]: any;
-    };
-}
-export interface HistoryStateNode<TContext extends MachineContext> extends StateNode<TContext> {
-    history: 'shallow' | 'deep';
-    target: string | undefined;
-}
-export declare type HistoryValue<TContext extends MachineContext, TEvent extends EventObject> = Record<string, Array<StateNode<TContext, TEvent>>>;
-export declare type StateFrom<T extends AnyStateMachine | ((...args: any[]) => AnyStateMachine)> = T extends AnyStateMachine ? ReturnType<T['transition']> : T extends (...args: any[]) => AnyStateMachine ? ReturnType<ReturnType<T>['transition']> : never;
-export declare type Transitions<TContext extends MachineContext, TEvent extends EventObject> = Array<TransitionDefinition<TContext, TEvent>>;
-export declare enum ActionTypes {
-    Stop = "xstate.stop",
-    Raise = "xstate.raise",
-    Send = "xstate.send",
-    Cancel = "xstate.cancel",
-    Assign = "xstate.assign",
-    After = "xstate.after",
-    DoneState = "done.state",
-    DoneInvoke = "done.invoke",
-    Log = "xstate.log",
-    Init = "xstate.init",
-    Invoke = "xstate.invoke",
-    ErrorExecution = "error.execution",
-    ErrorCommunication = "error.communication",
-    ErrorPlatform = "error.platform",
-    ErrorCustom = "xstate.error",
-    Update = "xstate.update",
-    Pure = "xstate.pure",
-    Choose = "xstate.choose"
-}
-export interface RaiseActionObject<TEvent extends EventObject> extends BuiltInActionObject {
-    type: ActionTypes.Raise;
-    params: {
-        _event: SCXML.Event<TEvent>;
-    };
-}
-export interface DoneInvokeEvent<TData> extends EventObject {
-    type: `done.invoke.${string}`;
-    data: TData;
-}
-export interface ErrorEvent<TErrorData> {
-    type: `error.${string}`;
-    data: TErrorData;
-}
-export interface SnapshotEvent<TData> {
-    type: `xstate.snapshot.${string}`;
-    data: TData;
-}
-export interface ErrorExecutionEvent extends EventObject {
-    src: string;
-    type: ActionTypes.ErrorExecution;
-    data: any;
-}
-export interface ErrorPlatformEvent extends EventObject {
-    data: any;
-}
-export interface SCXMLErrorEvent extends SCXML.Event<any> {
-    name: ActionTypes.ErrorExecution | ActionTypes.ErrorPlatform | ActionTypes.ErrorCommunication;
-    data: any;
-}
-export interface DoneEventObject extends EventObject {
-    data?: any;
-    toString(): string;
-}
-export interface UpdateObject extends EventObject {
-    id: string | number;
-    state: AnyState;
-}
-export declare type DoneEvent = DoneEventObject & string;
-export interface InvokeAction {
-    type: ActionTypes.Invoke;
-    src: InvokeSourceDefinition | ActorRef<any>;
-    id: string;
-    autoForward?: boolean;
-    data?: any;
-    exec?: undefined;
-    meta: MetaObject | undefined;
-}
-export interface DynamicInvokeActionObject<TContext extends MachineContext, TEvent extends EventObject> {
-    type: ActionTypes.Invoke;
-    params: InvokeDefinition<TContext, TEvent>;
-}
-export interface InvokeActionObject extends BaseActionObject {
-    type: ActionTypes.Invoke;
-    params: {
-        src: InvokeSourceDefinition | ActorRef<any>;
-        id: string;
-        autoForward?: boolean;
-        data?: any;
-        exec?: undefined;
-        ref?: ActorRef<any>;
-        meta: MetaObject | undefined;
-    };
-}
-export interface DynamicStopActionObject<TContext extends MachineContext, TEvent extends EventObject> {
-    type: ActionTypes.Stop;
-    params: {
-        actor: string | Expr<TContext, TEvent, ActorRef<any>>;
-    };
-}
-export interface StopActionObject {
-    type: ActionTypes.Stop;
-    params: {
-        actor: string | ActorRef<any>;
-    };
-}
-export declare type DelayExpr<TContext extends MachineContext, TEvent extends EventObject> = ExprWithMeta<TContext, TEvent, number>;
-export declare type LogExpr<TContext extends MachineContext, TEvent extends EventObject> = ExprWithMeta<TContext, TEvent, any>;
-export interface DynamicLogAction<TContext extends MachineContext, TEvent extends EventObject> extends BaseDynamicActionObject<TContext, TEvent, LogActionObject, {
-    label: string | undefined;
-    expr: string | LogExpr<TContext, TEvent>;
-}> {
-    type: ActionTypes.Log;
-}
-export interface LogActionObject extends BuiltInActionObject {
-    type: ActionTypes.Log;
-    params: {
-        label: string | undefined;
-        value: any;
-    };
-}
-export interface SendActionObject<TSentEvent extends EventObject = AnyEventObject> extends BaseActionObject {
-    type: 'xstate.send';
-    params: {
-        to: string | ActorRef<TSentEvent> | undefined;
-        _event: SCXML.Event<TSentEvent>;
-        event: TSentEvent;
-        delay?: number;
-        id: string | number;
-    };
-}
-export declare type Expr<TContext extends MachineContext, TEvent extends EventObject, T> = (context: TContext, event: TEvent) => T;
-export declare type ExprWithMeta<TContext extends MachineContext, TEvent extends EventObject, T> = (context: TContext, event: TEvent, meta: SCXMLEventMeta<TEvent>) => T;
-export declare type SendExpr<TContext extends MachineContext, TEvent extends EventObject, TSentEvent extends EventObject = AnyEventObject> = ExprWithMeta<TContext, TEvent, TSentEvent>;
-export declare enum SpecialTargets {
-    Parent = "#_parent",
-    Internal = "#_internal"
-}
-export interface SendActionOptions<TContext extends MachineContext, TEvent extends EventObject> {
-    id?: string | number;
-    delay?: number | string | DelayExpr<TContext, TEvent>;
-    to?: string | ExprWithMeta<TContext, TEvent, string | ActorRef<any> | undefined> | undefined;
-}
-export interface SendActionParams<TContext extends MachineContext, TEvent extends EventObject, TSentEvent extends EventObject = EventObject> extends SendActionOptions<TContext, TEvent> {
-    event: TSentEvent | SendExpr<TContext, TEvent, TSentEvent>;
-}
-export interface DynamicCancelActionObject<TContext extends MachineContext, TEvent extends EventObject> {
-    type: ActionTypes.Cancel;
-    params: {
-        sendId: string | ExprWithMeta<TContext, TEvent, string>;
-    };
-}
-export interface CancelActionObject extends BaseActionObject {
-    type: ActionTypes.Cancel;
-    params: {
-        sendId: string;
-    };
-}
-export declare type Assigner<TContext extends MachineContext, TEvent extends EventObject> = (context: TContext, event: TEvent, meta: AssignMeta<TContext, TEvent>) => Partial<TContext>;
-export declare type PartialAssigner<TContext extends MachineContext, TEvent extends EventObject, TKey extends keyof TContext> = (context: TContext, event: TEvent, meta: AssignMeta<TContext, TEvent>) => TContext[TKey];
-export declare type PropertyAssigner<TContext extends MachineContext, TEvent extends EventObject> = {
-    [K in keyof TContext]?: PartialAssigner<TContext, TEvent, K> | TContext[K];
-};
-export declare type Mapper<TContext extends MachineContext, TEvent extends EventObject, TParams extends {}> = (context: TContext, event: TEvent) => TParams;
-export declare type PropertyMapper<TContext extends MachineContext, TEvent extends EventObject, TParams extends {}> = {
-    [K in keyof TParams]?: ((context: TContext, event: TEvent) => TParams[K]) | TParams[K];
-};
-export interface AnyAssignAction extends BaseActionObject {
-    type: ActionTypes.Assign;
-    assignment: any;
-}
-export declare type DynamicAssignAction<TContext extends MachineContext, TEvent extends EventObject> = BaseDynamicActionObject<TContext, TEvent, AssignActionObject<TContext> | RaiseActionObject<TEvent>, {
-    assignment: Assigner<TContext, TEvent> | PropertyAssigner<TContext, TEvent>;
-}>;
-export interface AssignActionObject<TContext extends MachineContext> extends BaseActionObject {
-    type: ActionTypes.Assign;
-    params: {
-        context: TContext;
-        actions: BaseActionObject[];
-    };
-}
-export interface DynamicPureActionObject<TContext extends MachineContext, TEvent extends EventObject> {
-    type: ActionTypes.Pure;
-    params: {
-        get: (context: TContext, event: TEvent) => SingleOrArray<BaseActionObject> | undefined;
-    };
-}
-export interface PureActionObject extends BaseActionObject {
-    type: ActionTypes.Pure;
-    params: {
-        actions: BaseActionObject[];
-    };
-}
-export interface ChooseAction<TContext extends MachineContext, TEvent extends EventObject> extends BaseActionObject {
-    type: ActionTypes.Choose;
-    params: {
-        guards: Array<ChooseCondition<TContext, TEvent>>;
-    };
-}
-export interface ResolvedChooseAction extends BaseActionObject {
-    type: ActionTypes.Choose;
-    params: {
-        actions: BaseActionObject[];
-    };
-}
-export interface TransitionDefinition<TContext extends MachineContext, TEvent extends EventObject> extends TransitionConfig<TContext, TEvent> {
-    target: Array<StateNode<TContext, TEvent>> | undefined;
-    source: StateNode<TContext, TEvent>;
-    actions: BaseActionObject[];
-    guard?: GuardDefinition<TContext, TEvent>;
-    eventType: TEvent['type'] | '*';
-    toJSON: () => {
-        target: string[] | undefined;
-        source: string;
-        actions: BaseActionObject[];
-        guard?: GuardDefinition<TContext, TEvent>;
-        eventType: TEvent['type'] | '*';
-        meta?: Record<string, any>;
-    };
-}
-export interface InitialTransitionDefinition<TContext extends MachineContext, TEvent extends EventObject> extends TransitionDefinition<TContext, TEvent> {
-    target: Array<StateNode<TContext, TEvent>>;
-    guard?: never;
-}
-export declare type TransitionDefinitionMap<TContext extends MachineContext, TEvent extends EventObject> = {
-    [K in TEvent['type'] | '*']: Array<TransitionDefinition<TContext, K extends TEvent['type'] ? Extract<TEvent, {
-        type: K;
-    }> : EventObject>>;
-};
-export interface DelayedTransitionDefinition<TContext extends MachineContext, TEvent extends EventObject> extends TransitionDefinition<TContext, TEvent> {
-    delay: number | string | DelayExpr<TContext, TEvent>;
-}
-export interface Edge<TContext extends MachineContext, TEvent extends EventObject, TEventType extends TEvent['type'] = string> {
-    event: TEventType;
-    source: StateNode<TContext, TEvent>;
-    target: StateNode<TContext, TEvent>;
-    cond?: GuardConfig<TContext, TEvent & {
-        type: TEventType;
-    }>;
-    actions: Array<Action<TContext, TEvent>>;
-    meta?: MetaObject;
-    transition: TransitionDefinition<TContext, TEvent>;
-}
-export interface NodesAndEdges<TContext extends MachineContext, TEvent extends EventObject> {
-    nodes: StateNode[];
-    edges: Array<Edge<TContext, TEvent, TEvent['type']>>;
-}
-export interface Segment<TContext extends MachineContext, TEvent extends EventObject> {
-    /**
-     * From state.
-     */
-    state: State<TContext, TEvent>;
-    /**
-     * Event from state.
-     */
-    event: TEvent;
-}
-export interface PathItem<TContext extends MachineContext, TEvent extends EventObject> {
-    state: State<TContext, TEvent>;
-    path: Array<Segment<TContext, TEvent>>;
-    weight?: number;
-}
-export interface PathMap<TContext extends MachineContext, TEvent extends EventObject> {
-    [key: string]: PathItem<TContext, TEvent>;
-}
-export interface PathsItem<TContext extends MachineContext, TEvent extends EventObject> {
-    state: State<TContext, TEvent>;
-    paths: Array<Array<Segment<TContext, TEvent>>>;
-}
-export interface PathsMap<TContext extends MachineContext, TEvent extends EventObject> {
-    [key: string]: PathsItem<TContext, TEvent>;
-}
-export interface TransitionMap {
-    state: StateValue | undefined;
-}
-export interface AdjacencyMap {
-    [stateId: string]: Record<string, TransitionMap>;
-}
-export interface ValueAdjacencyMap<TContext extends MachineContext, TEvent extends EventObject> {
-    [stateId: string]: Record<string, State<TContext, TEvent>>;
-}
-export interface SCXMLEventMeta<TEvent extends EventObject> {
-    _event: SCXML.Event<TEvent>;
-}
-export interface StateMeta<TContext extends MachineContext, TEvent extends EventObject> {
-    state: State<TContext, TEvent, any>;
-    _event: SCXML.Event<TEvent>;
-}
-export interface StateLike<TContext extends MachineContext> {
-    value: StateValue;
-    context: TContext;
-    event: EventObject;
-    _event: SCXML.Event<EventObject>;
-}
-export interface StateConfig<TContext extends MachineContext, TEvent extends EventObject> {
-    value: StateValue;
-    context: TContext;
-    _event: SCXML.Event<TEvent>;
-    _sessionid: string | null;
-    historyValue?: HistoryValue<TContext, TEvent>;
-    actions?: BaseActionObject[];
-    meta?: any;
-    configuration: Array<StateNode<TContext, TEvent>>;
-    transitions: Array<TransitionDefinition<TContext, TEvent>>;
-    children: Record<string, ActorRef<any>>;
-    done?: boolean;
-    tags?: Set<string>;
-    machine?: StateMachine<TContext, TEvent, any, any, any>;
-}
-export interface InterpreterOptions {
-    /**
-     * Whether state actions should be executed immediately upon transition. Defaults to `true`.
-     */
-    execute?: boolean;
-    clock?: Clock;
-    logger?: (...args: any[]) => void;
-    parent?: ActorRef<any>;
-    /**
-     * If `true`, defers processing of sent events until the service
-     * is initialized (`.start()`). Otherwise, an error will be thrown
-     * for events sent to an uninitialized service.
-     *
-     * Default: `true`
-     */
-    deferEvents?: boolean;
-    /**
-     * The custom `id` for referencing this service.
-     */
-    id?: string;
-    /**
-     * If `true`, states and events will be logged to Redux DevTools.
-     *
-     * Default: `false`
-     */
-    devTools?: boolean | DevToolsAdapter;
-    /**
-     * If `true`, events from the parent will be sent to this interpreter.
-     *
-     * Default: `false`
-     */
-    autoForward?: boolean;
-    sync?: boolean;
-}
-export declare type AnyInterpreter = Interpreter<any, any, any>;
-export declare namespace SCXML {
-    interface Event<TEvent extends EventObject> {
-        /**
-         * This is a character string giving the name of the event.
-         * The SCXML Processor must set the name field to the name of this event.
-         * It is what is matched against the 'event' attribute of <transition>.
-         * Note that transitions can do additional tests by using the value of this field
-         * inside boolean expressions in the 'cond' attribute.
-         */
-        name: string;
-        /**
-         * This field describes the event type.
-         * The SCXML Processor must set it to: "platform" (for events raised by the platform itself, such as error events),
-         * "internal" (for events raised by <raise> and <send> with target '_internal')
-         * or "external" (for all other events).
-         */
-        type: 'platform' | 'internal' | 'external';
-        /**
-         * If the sending entity has specified a value for this, the Processor must set this field to that value
-         * (see C Event I/O Processors for details).
-         * Otherwise, in the case of error events triggered by a failed attempt to send an event,
-         * the Processor must set this field to the send id of the triggering <send> element.
-         * Otherwise it must leave it blank.
-         */
-        sendid?: string;
-        /**
-         * This is a URI, equivalent to the 'target' attribute on the <send> element.
-         * For external events, the SCXML Processor should set this field to a value which,
-         * when used as the value of 'target', will allow the receiver of the event to <send>
-         * a response back to the originating entity via the Event I/O Processor specified in 'origintype'.
-         * For internal and platform events, the Processor must leave this field blank.
-         */
-        origin?: ActorRef<any>;
-        /**
-         * This is equivalent to the 'type' field on the <send> element.
-         * For external events, the SCXML Processor should set this field to a value which,
-         * when used as the value of 'type', will allow the receiver of the event to <send>
-         * a response back to the originating entity at the URI specified by 'origin'.
-         * For internal and platform events, the Processor must leave this field blank.
-         */
-        origintype?: string;
-        /**
-         * If this event is generated from an invoked child process, the SCXML Processor
-         * must set this field to the invoke id of the invocation that triggered the child process.
-         * Otherwise it must leave it blank.
-         */
-        invokeid?: string;
-        /**
-         * This field contains whatever data the sending entity chose to include in this event.
-         * The receiving SCXML Processor should reformat this data to match its data model,
-         * but must not otherwise modify it.
-         *
-         * If the conversion is not possible, the Processor must leave the field blank
-         * and must place an error 'error.execution' in the internal event queue.
-         */
-        data: TEvent;
-        /**
-         * @private
-         */
-        $$type: 'scxml';
-    }
-}
-export declare type Observer<T> = {
-    next: (value: T) => void;
-    error?: (err: any) => void;
-    complete?: () => void;
-} | {
-    next?: (value: T) => void;
-    error: (err: any) => void;
-    complete?: () => void;
-} | {
-    next?: (value: T) => void;
-    error?: (err: any) => void;
-    complete: () => void;
-};
-export interface Subscription {
-    unsubscribe(): void;
-}
-export interface InteropObservable<T> {
-    [Symbol.observable]: () => InteropSubscribable<T>;
-}
-export interface InteropSubscribable<T> {
-    subscribe(observer: Observer<T>): Subscription;
-}
-export interface Subscribable<T> extends InteropSubscribable<T> {
-    subscribe(observer: Observer<T>): Subscription;
-    subscribe(next: (value: T) => void, error?: (error: any) => void, complete?: () => void): Subscription;
-}
-export declare type Spawnable = AnyStateMachine | PromiseLike<any> | InvokeCallback | InteropObservable<any> | Subscribable<any> | Behavior<any, any>;
-export declare type ExtractEvent<TEvent extends EventObject, TEventType extends TEvent['type']> = TEvent extends any ? TEventType extends TEvent['type'] ? TEvent : never : never;
-export interface BaseActorRef<TEvent extends EventObject> {
-    send: (event: TEvent) => void;
-}
-export interface ActorLike<TCurrent, TEvent extends EventObject> extends Subscribable<TCurrent> {
-    send: Sender<TEvent>;
-}
-export declare type Sender<TEvent extends EventObject> = (event: TEvent) => void;
-export interface ActorRef<TEvent extends EventObject, TSnapshot = any> extends Subscribable<TSnapshot>, InteropObservable<TSnapshot> {
-    name: string;
-    send: (event: TEvent) => void;
-    start?: () => void;
-    getSnapshot: () => TSnapshot | undefined;
-    stop?: () => void;
-    toJSON?: () => any;
-    _parent?: ActorRef<any, any>;
-}
-export declare type AnyActorRef = ActorRef<any, any>;
-export declare type ActorRefFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer TContext, infer TEvent, any, any, infer TResolvedTypesMeta> ? ActorRef<TEvent, State<TContext, TEvent, AreAllImplementationsAssumedToBeProvided<TResolvedTypesMeta> extends false ? MarkAllImplementationsAsProvided<TResolvedTypesMeta> : TResolvedTypesMeta>> : R extends Promise<infer U> ? ActorRef<{
-    type: string;
-}, U | undefined> : R extends Behavior<infer TEvent, infer TSnapshot> ? ActorRef<TEvent, TSnapshot> : never : never;
-export declare type DevToolsAdapter = (service: AnyInterpreter) => void;
-export declare type InterpreterFrom<T extends AnyStateMachine | ((...args: any[]) => AnyStateMachine)> = ReturnTypeOrValue<T> extends StateMachine<infer TContext, infer TEvent, any, any, infer TResolvedTypesMeta> ? Interpreter<TContext, TEvent, AreAllImplementationsAssumedToBeProvided<TResolvedTypesMeta> extends false ? MarkAllImplementationsAsProvided<TResolvedTypesMeta> : TResolvedTypesMeta> : never;
-export declare type MachineImplementationsFrom<T extends AnyStateMachine | ((...args: any[]) => AnyStateMachine), TRequireMissingImplementations extends boolean = false> = ReturnTypeOrValue<T> extends StateMachine<infer TContext, infer TEvent, any, any, infer TResolvedTypesMeta> ? InternalMachineImplementations<TContext, TEvent, TResolvedTypesMeta, TRequireMissingImplementations> : never;
-export declare type __ResolvedTypesMetaFrom<T> = T extends StateMachine<any, any, any, infer TResolvedTypesMeta> ? TResolvedTypesMeta : never;
-export declare type EventOfMachine<TMachine extends AnyStateMachine> = TMachine extends StateMachine<any, infer E, any, any, any> ? E : never;
-export interface ActorContext<TEvent extends EventObject, TSnapshot> {
-    self: ActorRef<TEvent, TSnapshot>;
-    name: string;
-    _event: SCXML.Event<TEvent> | LifecycleSignal;
-}
-export interface Behavior<TEvent extends EventObject, TSnapshot = any> {
-    transition: (state: TSnapshot, message: TEvent | LifecycleSignal, ctx: ActorContext<TEvent, TSnapshot>) => TSnapshot;
-    initialState: TSnapshot;
-    start?: (actorCtx: ActorContext<TEvent, TSnapshot>) => TSnapshot;
-}
-export declare type SnapshotFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends Interpreter<infer _, infer __, infer ___> ? R['initialState'] : R extends ActorRef<infer _, infer TSnapshot> ? TSnapshot : R extends Behavior<infer _, infer TSnapshot> ? TSnapshot : R extends ActorContext<infer _, infer TSnapshot> ? TSnapshot : never : never;
-declare type ResolveEventType<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer _, infer TEvent, infer __, infer ___, infer ____> ? TEvent : R extends Model<infer _, infer TEvent, infer __, infer ___> ? TEvent : R extends State<infer _, infer TEvent, infer __> ? TEvent : R extends Interpreter<infer _, infer TEvent, infer __> ? TEvent : R extends ActorRef<infer TEvent, infer _> ? TEvent : never : never;
-export declare type EventFrom<T, K extends Prop<TEvent, 'type'> = never, TEvent extends EventObject = ResolveEventType<T>> = IsNever<K> extends true ? TEvent : ExtractEvent<TEvent, K>;
-/**
- * Events that do not require payload
- */
-export declare type SimpleEventsOf<TEvent extends EventObject> = ExtractWithSimpleSupport<TEvent>;
-export declare type ContextFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer TContext, infer _, infer __, infer ___, infer ____> ? TContext : R extends Model<infer TContext, infer _, infer __, infer ___> ? TContext : R extends State<infer TContext, infer _, infer __> ? TContext : R extends Interpreter<infer TContext, infer _, infer __> ? TContext : never : never;
-export declare type InferEvent<E extends EventObject> = {
-    [T in E['type']]: {
-        type: T;
-    } & Extract<E, {
-        type: T;
-    }>;
-}[E['type']];
-export declare type TODO = any;
-export declare type StateValueFrom<TMachine extends AnyStateMachine> = Parameters<StateFrom<TMachine>['matches']>[0];
-export {};
+import type { StateNode } from './StateNode.js';
+import type { State } from './State.js';
+import type { ActorStatus, Clock, Interpreter } from './interpreter.js';
+import type { StateMachine } from './StateMachine.js';
+import type { LifecycleSignal } from './actors/index.js';
+import { TypegenDisabled, ResolveTypegenMeta, TypegenConstraint, MarkAllImplementationsAsProvided, AreAllImplementationsAssumedToBeProvided } from './typegenTypes.js';
+export type AnyFunction = (...args: any[]) => any;
+type ReturnTypeOrValue<T> = T extends AnyFunction ? ReturnType<T> : T;
+export type IsNever<T> = [T] extends [never] ? true : false;
+export type Compute<A extends any> = {
+    [K in keyof A]: A[K];
+} & unknown;
+export type Prop<T, K> = K extends keyof T ? T[K] : never;
+export type Values<T> = T[keyof T];
+export type Merge<M, N> = Omit<M, keyof N> & N;
+export type IndexByType<T extends {
+    type: string;
+}> = {
+    [K in T['type']]: T extends any ? (K extends T['type'] ? T : never) : never;
+};
+export type Equals<A1 extends any, A2 extends any> = (<A>() => A extends A2 ? true : false) extends <A>() => A extends A1 ? true : false ? true : false;
+export type IsAny<T> = Equals<T, any>;
+export type Cast<A, B> = A extends B ? A : B;
+export type NoInfer<T> = [T][T extends any ? 0 : any];
+export type LowInfer<T> = T & {};
+export type EventType = string;
+export type ActionType = string;
+export type MetaObject = Record<string, any>;
+export type Lazy<T> = () => T;
+export type MaybeLazy<T> = T | Lazy<T>;
+/**
+ * The full definition of an event, with a string `type`.
+ */
+export interface EventObject {
+    /**
+     * The type of event that is sent.
+     */
+    type: string;
+}
+export interface AnyEventObject extends EventObject {
+    [key: string]: any;
+}
+export interface ParameterizedObject {
+    type: string;
+    params?: Record<string, any>;
+}
+export interface BaseActionObject extends ParameterizedObject {
+    execute?: (actorCtx: AnyActorContext) => void;
+}
+export interface BuiltInActionObject extends ParameterizedObject {
+    type: `xstate.${string}`;
+    params: Record<string, any>;
+}
+export interface BaseDynamicActionObject<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject, TResolvedAction extends BaseActionObject, TDynamicParams extends Record<string, any>> {
+    type: `xstate.${string}`;
+    params: TDynamicParams;
+    resolve: (_event: SCXML.Event<TExpressionEvent>, extra: {
+        state: State<TContext, TEvent>;
+        /**
+         * The original action object
+         */
+        action: ParameterizedObject;
+        actorContext: AnyActorContext | undefined;
+    }) => [AnyState, TResolvedAction];
+    /** @deprecated an internal signature that doesn't exist at runtime. Its existence helps TS to choose a better code path in the inference algorithm  */
+    (arg: TContext, ev: TExpressionEvent, meta: ActionMeta<TContext, TEvent, ParameterizedObject>): void;
+}
+export type MachineContext = Record<string, any>;
+export interface ActionMeta<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject> extends StateMeta<TContext, TEvent> {
+    action: TAction;
+    _event: SCXML.Event<TEvent>;
+}
+export type Spawner = <T extends ActorBehavior<any, any> | string>(// TODO: read string from machine behavior keys
+behavior: T, options?: Partial<{
+    id: string;
+    input: any;
+}>) => T extends ActorBehavior<infer TActorEvent, infer TActorEmitted> ? ActorRef<TActorEvent, TActorEmitted> : ActorRef<any, any>;
+export interface AssignMeta<TContext extends MachineContext, TExpressionEvent extends EventObject, _TEvent extends EventObject> extends StateMeta<TContext, TExpressionEvent> {
+    action: BaseActionObject;
+    _event: SCXML.Event<TExpressionEvent>;
+    spawn: Spawner;
+}
+export type ActionFunction<TContext extends MachineContext, TExpressionEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject, TEvent extends EventObject = TExpressionEvent> = {
+    bivarianceHack(context: TContext, event: TExpressionEvent, meta: ActionMeta<TContext, TEvent, TAction>): void;
+}['bivarianceHack'];
+export interface ChooseCondition<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> {
+    guard?: GuardConfig<TContext, TEvent>;
+    actions: Actions<TContext, TExpressionEvent, TEvent>;
+}
+export type Action<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> = ActionType | ParameterizedObject | ActionFunction<TContext, TExpressionEvent, ParameterizedObject, TEvent> | BaseDynamicActionObject<TContext, TExpressionEvent, TEvent, any, any>;
+/**
+ * Extracts action objects that have no extra properties.
+ */
+type SimpleActionsFrom<T extends ParameterizedObject> = ParameterizedObject extends T ? T : ExtractWithSimpleSupport<T>;
+export type BaseAction<TContext extends MachineContext, TExpressionEvent extends EventObject, TAction extends ParameterizedObject, TEvent extends EventObject> = BaseDynamicActionObject<TContext, TExpressionEvent, TEvent, any, // TODO: at the very least this should include TAction, but probably at a covariant position or something, we really need to rethink how action objects are typed
+any> | TAction | SimpleActionsFrom<TAction>['type'] | ActionFunction<TContext, TExpressionEvent, TAction, TEvent>;
+export type BaseActions<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject, TAction extends ParameterizedObject> = SingleOrArray<BaseAction<TContext, TExpressionEvent, TAction, TEvent>>;
+export type Actions<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> = SingleOrArray<Action<TContext, TEvent>>;
+export type StateKey = string | AnyState;
+export interface StateValueMap {
+    [key: string]: StateValue;
+}
+/**
+ * The string or object representing the state value relative to the parent state node.
+ *
+ * - For a child atomic state node, this is a string, e.g., `"pending"`.
+ * - For complex state nodes, this is an object, e.g., `{ success: "someChildState" }`.
+ */
+export type StateValue = string | StateValueMap;
+export type GuardPredicate<TContext extends MachineContext, TEvent extends EventObject> = (context: TContext, event: TEvent, meta: GuardMeta<TContext, TEvent>) => boolean;
+export interface DefaultGuardObject<TContext extends MachineContext, TEvent extends EventObject> extends ParameterizedObject {
+    /**
+     * Nested guards
+     */
+    children?: Array<GuardObject<TContext, TEvent>>;
+    predicate?: GuardPredicate<TContext, TEvent>;
+}
+export type GuardEvaluator<TContext extends MachineContext, TEvent extends EventObject> = (guard: GuardDefinition<TContext, TEvent>, context: TContext, _event: SCXML.Event<TEvent>, state: State<TContext, TEvent>) => boolean;
+export interface GuardMeta<TContext extends MachineContext, TEvent extends EventObject> {
+    state: State<TContext, TEvent, any>;
+    _event: SCXML.Event<TEvent>;
+    guard: GuardDefinition<TContext, TEvent>;
+    evaluate: GuardEvaluator<TContext, TEvent>;
+}
+export type GuardConfig<TContext extends MachineContext, TEvent extends EventObject> = string | GuardPredicate<TContext, TEvent> | GuardObject<TContext, TEvent>;
+export type GuardObject<TContext extends MachineContext, TEvent extends EventObject> = BooleanGuardObject<TContext, TEvent> | DefaultGuardObject<TContext, TEvent>;
+export interface GuardDefinition<TContext extends MachineContext, TEvent extends EventObject> {
+    type: string;
+    children?: Array<GuardDefinition<TContext, TEvent>>;
+    predicate?: GuardPredicate<TContext, TEvent>;
+    params: {
+        [key: string]: any;
+    };
+}
+export interface BooleanGuardObject<TContext extends MachineContext, TEvent extends EventObject> extends ParameterizedObject {
+    type: 'xstate.boolean';
+    children: Array<GuardConfig<TContext, TEvent>>;
+    params: {
+        op: 'and' | 'or' | 'not';
+    };
+    predicate: undefined;
+}
+export interface BooleanGuardDefinition<TContext extends MachineContext, TEvent extends EventObject> extends GuardDefinition<TContext, TEvent> {
+    type: 'xstate.boolean';
+    params: {
+        op: 'and' | 'or' | 'not';
+    };
+}
+export type TransitionTarget = SingleOrArray<string>;
+export interface TransitionConfig<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent, TAction extends ParameterizedObject = ParameterizedObject> {
+    guard?: GuardConfig<TContext, TExpressionEvent>;
+    actions?: BaseActions<TContext, TExpressionEvent, TEvent, TAction>;
+    external?: boolean;
+    target?: TransitionTarget | undefined;
+    meta?: Record<string, any>;
+    description?: string;
+}
+export interface TargetTransitionConfig<TContext extends MachineContext, TEvent extends EventObject> extends TransitionConfig<TContext, TEvent> {
+    target: TransitionTarget;
+}
+export type ConditionalTransitionConfig<TContext extends MachineContext, TEvent extends EventObject = EventObject> = Array<TransitionConfig<TContext, TEvent>>;
+export interface InitialTransitionConfig<TContext extends MachineContext, TEvent extends EventObject> extends TransitionConfig<TContext, TEvent> {
+    guard?: never;
+    target: TransitionTarget;
+}
+export type Transition<TContext extends MachineContext, TEvent extends EventObject = EventObject> = string | TransitionConfig<TContext, TEvent> | ConditionalTransitionConfig<TContext, TEvent>;
+type ExtractWithSimpleSupport<T extends {
+    type: string;
+}> = T extends any ? {
+    type: T['type'];
+} extends T ? T : never : never;
+export type Receiver<TEvent extends EventObject> = (listener: {
+    bivarianceHack(event: TEvent): void;
+}['bivarianceHack']) => void;
+export type InvokeCallback<TEvent extends EventObject = AnyEventObject, TSentEvent extends EventObject = AnyEventObject> = (sendBack: (event: TSentEvent) => void, onReceive: Receiver<TEvent>, { input }: {
+    input: any;
+}) => (() => void) | Promise<any> | void;
+export type ActorBehaviorCreator<TContext extends MachineContext, TEvent extends EventObject, TActorBehavior extends AnyActorBehavior = AnyActorBehavior> = (context: TContext, event: TEvent, meta: {
+    id: string;
+    data?: any;
+    src: string;
+    _event: SCXML.Event<TEvent>;
+    meta: MetaObject | undefined;
+    input: any;
+}) => TActorBehavior;
+export interface InvokeMeta {
+    src: string;
+    meta: MetaObject | undefined;
+}
+export interface InvokeDefinition<TContext extends MachineContext, TEvent extends EventObject> {
+    id: string;
+    systemId: string | undefined;
+    /**
+     * The source of the actor's behavior to be invoked
+     */
+    src: string;
+    input?: Mapper<TContext, TEvent, any> | any;
+    /**
+     * The transition to take upon the invoked child machine reaching its final top-level state.
+     */
+    onDone?: string | SingleOrArray<TransitionConfig<TContext, DoneInvokeEvent<any>>>;
+    /**
+     * The transition to take upon the invoked child machine sending an error event.
+     */
+    onError?: string | SingleOrArray<TransitionConfig<TContext, ErrorEvent<any>>>;
+    onSnapshot?: string | SingleOrArray<TransitionConfig<TContext, SnapshotEvent<any>>>;
+    toJSON: () => Omit<InvokeDefinition<TContext, TEvent>, 'onDone' | 'onError' | 'toJSON'>;
+    meta: MetaObject | undefined;
+}
+export interface Delay {
+    id: string;
+    /**
+     * The time to delay the event, in milliseconds.
+     */
+    delay: number;
+}
+export type DelayedTransitions<TContext extends MachineContext, TEvent extends EventObject> = Record<string | number, string | SingleOrArray<TransitionConfig<TContext, TEvent>>> | Array<TransitionConfig<TContext, TEvent> & {
+    delay: number | string | Expr<TContext, TEvent, number>;
+}>;
+export type StateTypes = 'atomic' | 'compound' | 'parallel' | 'final' | 'history' | string;
+export type SingleOrArray<T> = T[] | T;
+export type StateNodesConfig<TContext extends MachineContext, TEvent extends EventObject> = {
+    [K in string]: StateNode<TContext, TEvent>;
+};
+export type StatesConfig<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject> = {
+    [K in string]: StateNodeConfig<TContext, TEvent, TAction>;
+};
+export type StatesDefinition<TContext extends MachineContext, TEvent extends EventObject> = {
+    [K in string]: StateNodeDefinition<TContext, TEvent>;
+};
+export type TransitionConfigTarget = string | undefined;
+export type TransitionConfigOrTarget<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> = SingleOrArray<TransitionConfigTarget | TransitionConfig<TContext, TExpressionEvent, TEvent>>;
+export type TransitionsConfigMap<TContext extends MachineContext, TEvent extends EventObject> = {
+    [K in TEvent['type'] | '' | '*']?: K extends '' | '*' ? TransitionConfigOrTarget<TContext, TEvent> : TransitionConfigOrTarget<TContext, ExtractEvent<TEvent, K>, TEvent>;
+};
+type TransitionsConfigArray<TContext extends MachineContext, TEvent extends EventObject> = Array<(TEvent extends EventObject ? TransitionConfig<TContext, TEvent> & {
+    event: TEvent['type'];
+} : never) | (TransitionConfig<TContext, TEvent> & {
+    event: '*';
+})>;
+export type TransitionsConfig<TContext extends MachineContext, TEvent extends EventObject> = TransitionsConfigMap<TContext, TEvent> | TransitionsConfigArray<TContext, TEvent>;
+export interface InvokeConfig<TContext extends MachineContext, TEvent extends EventObject> {
+    /**
+     * The unique identifier for the invoked machine. If not specified, this
+     * will be the machine's own `id`, or the URL (from `src`).
+     */
+    id?: string;
+    systemId?: string;
+    /**
+     * The source of the machine to be invoked, or the machine itself.
+     */
+    src: string | ActorBehavior<any, any>;
+    input?: Mapper<TContext, TEvent, any> | any;
+    /**
+     * The transition to take upon the invoked child machine reaching its final top-level state.
+     */
+    onDone?: string | SingleOrArray<TransitionConfigOrTarget<TContext, DoneInvokeEvent<any>, TEvent>>;
+    /**
+     * The transition to take upon the invoked child machine sending an error event.
+     */
+    onError?: string | SingleOrArray<TransitionConfigOrTarget<TContext, DoneInvokeEvent<any>, TEvent>>;
+    onSnapshot?: string | SingleOrArray<TransitionConfigOrTarget<TContext, SnapshotEvent<any>, TEvent>>;
+    /**
+     * Meta data related to this invocation
+     */
+    meta?: MetaObject;
+}
+export interface StateNodeConfig<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject> {
+    /**
+     * The initial state transition.
+     */
+    initial?: InitialTransitionConfig<TContext, TEvent> | SingleOrArray<string> | undefined;
+    /**
+     * The type of this state node:
+     *
+     *  - `'atomic'` - no child state nodes
+     *  - `'compound'` - nested child state nodes (XOR)
+     *  - `'parallel'` - orthogonal nested child state nodes (AND)
+     *  - `'history'` - history state node
+     *  - `'final'` - final state node
+     */
+    type?: 'atomic' | 'compound' | 'parallel' | 'final' | 'history';
+    /**
+     * Indicates whether the state node is a history state node, and what
+     * type of history:
+     * shallow, deep, true (shallow), false (none), undefined (none)
+     */
+    history?: 'shallow' | 'deep' | boolean | undefined;
+    /**
+     * The mapping of state node keys to their state node configurations (recursive).
+     */
+    states?: StatesConfig<TContext, TEvent, TAction> | undefined;
+    /**
+     * The services to invoke upon entering this state node. These services will be stopped upon exiting this state node.
+     */
+    invoke?: SingleOrArray<string | InvokeConfig<TContext, TEvent>>;
+    /**
+     * The mapping of event types to their potential transition(s).
+     */
+    on?: TransitionsConfig<TContext, TEvent>;
+    /**
+     * The action(s) to be executed upon entering the state node.
+     */
+    entry?: BaseActions<TContext, TEvent, TEvent, TAction>;
+    /**
+     * The action(s) to be executed upon exiting the state node.
+     */
+    exit?: BaseActions<TContext, TEvent, TEvent, TAction>;
+    /**
+     * The potential transition(s) to be taken upon reaching a final child state node.
+     *
+     * This is equivalent to defining a `[done(id)]` transition on this state node's `on` property.
+     */
+    onDone?: string | SingleOrArray<TransitionConfig<TContext, DoneEventObject>> | undefined;
+    /**
+     * The mapping (or array) of delays (in milliseconds) to their potential transition(s).
+     * The delayed transitions are taken after the specified delay in an interpreter.
+     */
+    after?: DelayedTransitions<TContext, TEvent>;
+    /**
+     * An eventless transition that is always taken when this state node is active.
+     */
+    always?: TransitionConfigOrTarget<TContext, TEvent>;
+    /**
+     * @private
+     */
+    parent?: StateNode<TContext, TEvent>;
+    strict?: boolean | undefined;
+    /**
+     * The meta data associated with this state node, which will be returned in State instances.
+     */
+    meta?: any;
+    /**
+     * The data sent with the "done.state._id_" event if this is a final state node.
+     *
+     * The data will be evaluated with the current `context` and placed on the `.data` property
+     * of the event.
+     */
+    data?: Mapper<TContext, TEvent, any> | PropertyMapper<TContext, TEvent, any>;
+    /**
+     * The unique ID of the state node, which can be referenced as a transition target via the
+     * `#id` syntax.
+     */
+    id?: string | undefined;
+    /**
+     * The string delimiter for serializing the path to a string. The default is "."
+     */
+    delimiter?: string;
+    /**
+     * The order this state node appears. Corresponds to the implicit SCXML document order.
+     */
+    order?: number;
+    /**
+     * The tags for this state node, which are accumulated into the `state.tags` property.
+     */
+    tags?: SingleOrArray<string>;
+    /**
+     * A text description of the state node
+     */
+    description?: string;
+    /**
+     * A default target for a history state
+     */
+    target?: string;
+}
+export interface StateNodeDefinition<TContext extends MachineContext, TEvent extends EventObject> {
+    id: string;
+    version?: string | undefined;
+    key: string;
+    type: 'atomic' | 'compound' | 'parallel' | 'final' | 'history';
+    initial: InitialTransitionDefinition<TContext, TEvent> | undefined;
+    history: boolean | 'shallow' | 'deep' | undefined;
+    states: StatesDefinition<TContext, TEvent>;
+    on: TransitionDefinitionMap<TContext, TEvent>;
+    transitions: Array<TransitionDefinition<TContext, TEvent>>;
+    entry: BaseActionObject[];
+    exit: BaseActionObject[];
+    meta: any;
+    order: number;
+    data?: FinalStateNodeConfig<TContext, TEvent>['data'];
+    invoke: Array<InvokeDefinition<TContext, TEvent>>;
+    description?: string;
+    tags: string[];
+}
+export interface StateMachineDefinition<TContext extends MachineContext, TEvent extends EventObject> extends StateNodeDefinition<TContext, TEvent> {
+    context: TContext;
+}
+export type AnyStateNode = StateNode<any, any>;
+export type AnyStateNodeDefinition = StateNodeDefinition<any, any>;
+export type AnyState = State<any, any, any>;
+export type AnyStateMachine = StateMachine<any, any, any, any, any>;
+export type AnyStateConfig = StateConfig<any, AnyEventObject>;
+export interface AtomicStateNodeConfig<TContext extends MachineContext, TEvent extends EventObject> extends StateNodeConfig<TContext, TEvent> {
+    initial?: undefined;
+    parallel?: false | undefined;
+    states?: undefined;
+    onDone?: undefined;
+}
+export interface HistoryStateNodeConfig<TContext extends MachineContext, TEvent extends EventObject> extends AtomicStateNodeConfig<TContext, TEvent> {
+    history: 'shallow' | 'deep' | true;
+    target: string | undefined;
+}
+export interface FinalStateNodeConfig<TContext extends MachineContext, TEvent extends EventObject> extends AtomicStateNodeConfig<TContext, TEvent> {
+    type: 'final';
+    /**
+     * The data to be sent with the "done.state.<id>" event. The data can be
+     * static or dynamic (based on assigners).
+     */
+    data?: Mapper<TContext, TEvent, any> | PropertyMapper<TContext, TEvent, any>;
+}
+export type SimpleOrStateNodeConfig<TContext extends MachineContext, TEvent extends EventObject> = AtomicStateNodeConfig<TContext, TEvent> | StateNodeConfig<TContext, TEvent>;
+export type ActionFunctionMap<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject> = {
+    [K in TAction['type']]?: BaseDynamicActionObject<TContext, TEvent, TEvent, TAction, any> | ActionFunction<TContext, TEvent, TAction extends {
+        type: K;
+    } ? TAction : never>;
+};
+export type DelayFunctionMap<TContext extends MachineContext, TEvent extends EventObject> = Record<string, DelayConfig<TContext, TEvent>>;
+export type DelayConfig<TContext extends MachineContext, TEvent extends EventObject> = number | DelayExpr<TContext, TEvent>;
+export interface MachineImplementationsSimplified<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject> {
+    guards: Record<string, GuardPredicate<TContext, TEvent>>;
+    actions: ActionFunctionMap<TContext, TEvent, TAction>;
+    actors: Record<string, AnyActorBehavior | {
+        src: AnyActorBehavior;
+        input: Mapper<TContext, TEvent, any> | any;
+    }>;
+    delays: DelayFunctionMap<TContext, TEvent>;
+}
+type MachineImplementationsActions<TContext extends MachineContext, TResolvedTypesMeta, TEventsCausingActions = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'eventsCausingActions'>, TIndexedEvents = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedEvents'>> = {
+    [K in keyof TEventsCausingActions]?: BaseDynamicActionObject<TContext, Cast<Prop<TIndexedEvents, TEventsCausingActions[K]>, EventObject>, Cast<Prop<TIndexedEvents, keyof TIndexedEvents>, EventObject>, any, // TODO: this should receive something like `Cast<Prop<TIndexedActions, K>, ParameterizedObject>`, but at the moment builtin actions expect Resolved*Action here and this should be simplified somehow
+    any> | ActionFunction<TContext, Cast<Prop<TIndexedEvents, TEventsCausingActions[K]>, EventObject>, ParameterizedObject, // TODO: when bringing back parametrized actions this should accept something like `Cast<Prop<TIndexedActions, K>, ParameterizedObject>`. At the moment we need to keep this type argument consistent with what is provided to the fake callable signature within `BaseDynamicActionObject`
+    Cast<Prop<TIndexedEvents, keyof TIndexedEvents>, EventObject>>;
+};
+type MachineImplementationsDelays<TContext extends MachineContext, TResolvedTypesMeta, TEventsCausingDelays = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'eventsCausingDelays'>, TIndexedEvents = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedEvents'>> = {
+    [K in keyof TEventsCausingDelays]?: DelayConfig<TContext, Cast<Prop<TIndexedEvents, TEventsCausingDelays[K]>, EventObject>>;
+};
+type MachineImplementationsGuards<TContext extends MachineContext, TResolvedTypesMeta, TEventsCausingGuards = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'eventsCausingGuards'>, TIndexedEvents = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedEvents'>> = {
+    [K in keyof TEventsCausingGuards]?: GuardPredicate<TContext, Cast<Prop<TIndexedEvents, TEventsCausingGuards[K]>, EventObject>>;
+};
+type MachineImplementationsActors<TContext extends MachineContext, TResolvedTypesMeta, TEventsCausingActors = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'eventsCausingActors'>, TIndexedEvents = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'indexedEvents'>, _TInvokeSrcNameMap = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'invokeSrcNameMap'>> = {
+    [K in keyof TEventsCausingActors]?: AnyActorBehavior | {
+        src: AnyActorBehavior;
+        input: Mapper<TContext, Cast<Prop<TIndexedEvents, TEventsCausingActors[K]>, EventObject>, any> | any;
+    };
+};
+type MakeKeysRequired<T extends string> = {
+    [K in T]: unknown;
+};
+type MaybeMakeMissingImplementationsRequired<TImplementationType, TMissingImplementationsForType, TRequireMissingImplementations> = TRequireMissingImplementations extends true ? IsNever<TMissingImplementationsForType> extends true ? {} : {
+    [K in Cast<TImplementationType, string>]: MakeKeysRequired<Cast<TMissingImplementationsForType, string>>;
+} : {};
+type GenerateActionsImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'actions', Prop<TMissingImplementations, 'actions'>, TRequireMissingImplementations> & {
+    actions?: MachineImplementationsActions<TContext, TResolvedTypesMeta>;
+};
+type GenerateDelaysImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'delays', Prop<TMissingImplementations, 'delays'>, TRequireMissingImplementations> & {
+    delays?: MachineImplementationsDelays<TContext, TResolvedTypesMeta>;
+};
+type GenerateGuardsImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'guards', Prop<TMissingImplementations, 'guards'>, TRequireMissingImplementations> & {
+    guards?: MachineImplementationsGuards<TContext, TResolvedTypesMeta>;
+};
+type GenerateActorsImplementationsPart<TContext extends MachineContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> = MaybeMakeMissingImplementationsRequired<'actors', Prop<TMissingImplementations, 'actors'>, TRequireMissingImplementations> & {
+    actors?: MachineImplementationsActors<TContext, TResolvedTypesMeta>;
+};
+export type InternalMachineImplementations<TContext extends MachineContext, _TEvent extends EventObject, TResolvedTypesMeta, TRequireMissingImplementations extends boolean = false, TMissingImplementations = Prop<Prop<TResolvedTypesMeta, 'resolved'>, 'missingImplementations'>> = GenerateActionsImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> & GenerateDelaysImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> & GenerateGuardsImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations> & GenerateActorsImplementationsPart<TContext, TResolvedTypesMeta, TRequireMissingImplementations, TMissingImplementations>;
+export type MachineImplementations<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject, TActorMap extends ActorMap = ActorMap, TTypesMeta extends TypegenConstraint = TypegenDisabled> = InternalMachineImplementations<TContext, TEvent, ResolveTypegenMeta<TTypesMeta, TEvent, TAction, TActorMap>>;
+type InitialContext<TContext extends MachineContext> = TContext | ContextFactory<TContext>;
+export type ContextFactory<TContext extends MachineContext> = ({ spawn, input }: {
+    spawn: Spawner;
+    input: any;
+}) => TContext;
+export interface MachineConfig<TContext extends MachineContext, TEvent extends EventObject, TAction extends ParameterizedObject = ParameterizedObject, TActorMap extends ActorMap = ActorMap, TTypesMeta = TypegenDisabled> extends StateNodeConfig<NoInfer<TContext>, NoInfer<TEvent>, TAction> {
+    /**
+     * The initial context (extended state)
+     */
+    context?: InitialContext<LowInfer<TContext>>;
+    /**
+     * The machine's own version.
+     */
+    version?: string;
+    /**
+     * If `true`, will use SCXML semantics, such as event token matching.
+     */
+    scxml?: boolean;
+    schema?: MachineSchema<TContext, TEvent, TActorMap>;
+    tsTypes?: TTypesMeta;
+}
+export type ActorMap = Record<string, {
+    data: any;
+}>;
+export interface MachineSchema<TContext extends MachineContext, TEvent extends EventObject, TActorMap extends ActorMap = ActorMap> {
+    context?: TContext;
+    actions?: {
+        type: string;
+        [key: string]: any;
+    };
+    actors?: TActorMap;
+    events?: TEvent;
+    guards?: {
+        type: string;
+        [key: string]: any;
+    };
+}
+export interface HistoryStateNode<TContext extends MachineContext> extends StateNode<TContext> {
+    history: 'shallow' | 'deep';
+    target: string | undefined;
+}
+export type HistoryValue<TContext extends MachineContext, TEvent extends EventObject> = Record<string, Array<StateNode<TContext, TEvent>>>;
+export type AnyHistoryValue = HistoryValue<any, any>;
+export type StateFrom<T extends AnyStateMachine | ((...args: any[]) => AnyStateMachine)> = T extends AnyStateMachine ? ReturnType<T['transition']> : T extends (...args: any[]) => AnyStateMachine ? ReturnType<ReturnType<T>['transition']> : never;
+export type Transitions<TContext extends MachineContext, TEvent extends EventObject> = Array<TransitionDefinition<TContext, TEvent>>;
+export declare enum ActionTypes {
+    Stop = "xstate.stop",
+    Raise = "xstate.raise",
+    Send = "xstate.send",
+    Cancel = "xstate.cancel",
+    Assign = "xstate.assign",
+    After = "xstate.after",
+    DoneState = "done.state",
+    DoneInvoke = "done.invoke",
+    Log = "xstate.log",
+    Init = "xstate.init",
+    Invoke = "xstate.invoke",
+    ErrorExecution = "error.execution",
+    ErrorCommunication = "error.communication",
+    ErrorPlatform = "error.platform",
+    ErrorCustom = "xstate.error",
+    Pure = "xstate.pure",
+    Choose = "xstate.choose"
+}
+export interface RaiseActionObject<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> extends BaseActionObject {
+    type: ActionTypes.Raise;
+    params: {
+        event: TEvent;
+        _event: SCXML.Event<TEvent>;
+        delay: RaiseActionOptions<TContext, TExpressionEvent>['delay'];
+        id: string | number;
+    };
+}
+export interface DoneInvokeEvent<TData> extends EventObject {
+    type: `done.invoke.${string}`;
+    data: TData;
+}
+export interface ErrorEvent<TErrorData> {
+    type: `error.${string}`;
+    data: TErrorData;
+}
+export interface SnapshotEvent<TData> {
+    type: `xstate.snapshot.${string}`;
+    data: TData;
+}
+export interface ErrorExecutionEvent extends EventObject {
+    src: string;
+    type: ActionTypes.ErrorExecution;
+    data: any;
+}
+export interface ErrorPlatformEvent extends EventObject {
+    data: any;
+}
+export interface SCXMLErrorEvent extends SCXML.Event<any> {
+    name: ActionTypes.ErrorExecution | ActionTypes.ErrorPlatform | ActionTypes.ErrorCommunication;
+    data: any;
+}
+export interface DoneEventObject extends EventObject {
+    data?: any;
+    toString(): string;
+}
+export type DoneEvent = DoneEventObject & string;
+export interface InvokeAction {
+    type: ActionTypes.Invoke;
+    src: string | ActorRef<any>;
+    id: string;
+    exec?: undefined;
+    meta: MetaObject | undefined;
+}
+export interface DynamicInvokeActionObject<TContext extends MachineContext, TEvent extends EventObject> {
+    type: ActionTypes.Invoke;
+    params: InvokeDefinition<TContext, TEvent>;
+}
+export interface InvokeActionObject extends BaseActionObject {
+    type: ActionTypes.Invoke;
+    params: {
+        src: string | ActorRef<any>;
+        id: string;
+        exec?: undefined;
+        ref?: ActorRef<any>;
+        meta: MetaObject | undefined;
+    };
+}
+export interface DynamicStopActionObject<TContext extends MachineContext, TExpressionEvent extends EventObject> {
+    type: ActionTypes.Stop;
+    params: {
+        actor: string | ActorRef<any> | Expr<TContext, TExpressionEvent, ActorRef<any> | string>;
+    };
+}
+export interface StopActionObject {
+    type: ActionTypes.Stop;
+    params: {
+        actor: ActorRef<any>;
+    };
+}
+export type DelayExpr<TContext extends MachineContext, TEvent extends EventObject> = ExprWithMeta<TContext, TEvent, number>;
+export type LogExpr<TContext extends MachineContext, TEvent extends EventObject> = ExprWithMeta<TContext, TEvent, any>;
+export interface DynamicLogAction<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject> extends BaseDynamicActionObject<TContext, TExpressionEvent, TEvent, LogActionObject, {
+    label: string | undefined;
+    expr: string | LogExpr<TContext, TExpressionEvent>;
+}> {
+    type: ActionTypes.Log;
+}
+export interface LogActionObject extends BuiltInActionObject {
+    type: ActionTypes.Log;
+    params: {
+        label: string | undefined;
+        value: any;
+    };
+}
+export interface SendActionObject<TSentEvent extends EventObject = AnyEventObject> extends BaseActionObject {
+    type: 'xstate.send';
+    params: {
+        to: ActorRef<TSentEvent> | undefined;
+        _event: SCXML.Event<TSentEvent>;
+        event: TSentEvent;
+        delay?: number;
+        id: string | number;
+        internal: boolean;
+    };
+}
+export type Expr<TContext extends MachineContext, TEvent extends EventObject, T> = (context: TContext, event: TEvent) => T;
+export type ExprWithMeta<TContext extends MachineContext, TEvent extends EventObject, T> = (context: TContext, event: TEvent, meta: StateMeta<TContext, TEvent>) => T;
+export type SendExpr<TContext extends MachineContext, TEvent extends EventObject, TSentEvent extends EventObject = AnyEventObject> = ExprWithMeta<TContext, TEvent, TSentEvent>;
+export declare enum SpecialTargets {
+    Parent = "#_parent",
+    Internal = "#_internal"
+}
+export interface SendActionOptions<TContext extends MachineContext, TEvent extends EventObject> extends RaiseActionOptions<TContext, TEvent> {
+    to?: string | ActorRef<any, any> | ExprWithMeta<TContext, TEvent, string | ActorRef<any, any>>;
+}
+export interface RaiseActionOptions<TContext extends MachineContext, TEvent extends EventObject> {
+    id?: string | number;
+    delay?: number | string | DelayExpr<TContext, TEvent>;
+}
+export interface RaiseActionParams<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject> extends RaiseActionOptions<TContext, TExpressionEvent> {
+    event: TEvent | SendExpr<TContext, TExpressionEvent, TEvent>;
+}
+export interface SendActionParams<TContext extends MachineContext, TEvent extends EventObject, TSentEvent extends EventObject = EventObject> extends SendActionOptions<TContext, TEvent> {
+    event: TSentEvent | SendExpr<TContext, TEvent, TSentEvent>;
+}
+export interface DynamicCancelActionObject<TContext extends MachineContext, TExpressionEvent extends EventObject> {
+    type: ActionTypes.Cancel;
+    params: {
+        sendId: string | ExprWithMeta<TContext, TExpressionEvent, string>;
+    };
+}
+export interface CancelActionObject extends BaseActionObject {
+    type: ActionTypes.Cancel;
+    params: {
+        sendId: string;
+    };
+}
+export type Assigner<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> = (context: TContext, event: TExpressionEvent, meta: AssignMeta<TContext, TExpressionEvent, TEvent>) => Partial<TContext>;
+export type PartialAssigner<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject, TKey extends keyof TContext> = (context: TContext, event: TExpressionEvent, meta: AssignMeta<TContext, TExpressionEvent, TEvent>) => TContext[TKey];
+export type PropertyAssigner<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> = {
+    [K in keyof TContext]?: PartialAssigner<TContext, TExpressionEvent, TEvent, K> | TContext[K];
+};
+export type Mapper<TContext extends MachineContext, TEvent extends EventObject, TParams extends {}> = (context: TContext, event: TEvent) => TParams;
+export type PropertyMapper<TContext extends MachineContext, TEvent extends EventObject, TParams extends {}> = {
+    [K in keyof TParams]?: ((context: TContext, event: TEvent) => TParams[K]) | TParams[K];
+};
+export interface AnyAssignAction extends BaseActionObject {
+    type: ActionTypes.Assign;
+    assignment: any;
+}
+export type DynamicAssignAction<TContext extends MachineContext, TExpressionEvent extends EventObject, TEvent extends EventObject = TExpressionEvent> = BaseDynamicActionObject<TContext, TExpressionEvent, TEvent, AssignActionObject<TContext> | RaiseActionObject<TContext, TExpressionEvent>, {
+    assignment: Assigner<TContext, TExpressionEvent, TEvent> | PropertyAssigner<TContext, TExpressionEvent, TEvent>;
+}>;
+export interface AssignActionObject<TContext extends MachineContext> extends BaseActionObject {
+    type: ActionTypes.Assign;
+    params: {
+        context: TContext;
+        actions: BaseActionObject[];
+    };
+}
+export interface DynamicPureActionObject<TContext extends MachineContext, TEvent extends EventObject> {
+    type: ActionTypes.Pure;
+    params: {
+        get: (context: TContext, event: TEvent) => SingleOrArray<BaseActionObject | BaseActionObject['type']> | undefined;
+    };
+}
+export interface PureActionObject extends BaseActionObject {
+    type: ActionTypes.Pure;
+    params: {
+        actions: BaseActionObject[];
+    };
+}
+export interface ChooseAction<TContext extends MachineContext, TEvent extends EventObject> extends BaseActionObject {
+    type: ActionTypes.Choose;
+    params: {
+        guards: Array<ChooseCondition<TContext, TEvent>>;
+    };
+}
+export interface ResolvedChooseAction extends BaseActionObject {
+    type: ActionTypes.Choose;
+    params: {
+        actions: BaseActionObject[];
+    };
+}
+export interface TransitionDefinition<TContext extends MachineContext, TEvent extends EventObject> extends Omit<TransitionConfig<TContext, TEvent>, 'target'> {
+    target: Array<StateNode<TContext, TEvent>> | undefined;
+    source: StateNode<TContext, TEvent>;
+    actions: BaseActionObject[];
+    external: boolean;
+    guard?: GuardDefinition<TContext, TEvent>;
+    eventType: TEvent['type'] | '*';
+    toJSON: () => {
+        target: string[] | undefined;
+        source: string;
+        actions: BaseActionObject[];
+        guard?: GuardDefinition<TContext, TEvent>;
+        eventType: TEvent['type'] | '*';
+        meta?: Record<string, any>;
+    };
+}
+export type AnyTransitionDefinition = TransitionDefinition<any, any>;
+export interface InitialTransitionDefinition<TContext extends MachineContext, TEvent extends EventObject> extends TransitionDefinition<TContext, TEvent> {
+    target: Array<StateNode<TContext, TEvent>>;
+    guard?: never;
+}
+export type TransitionDefinitionMap<TContext extends MachineContext, TEvent extends EventObject> = {
+    [K in TEvent['type'] | '*']: Array<TransitionDefinition<TContext, K extends TEvent['type'] ? Extract<TEvent, {
+        type: K;
+    }> : EventObject>>;
+};
+export interface DelayedTransitionDefinition<TContext extends MachineContext, TEvent extends EventObject> extends TransitionDefinition<TContext, TEvent> {
+    delay: number | string | DelayExpr<TContext, TEvent>;
+}
+export interface Edge<TContext extends MachineContext, TEvent extends EventObject, TEventType extends TEvent['type'] = string> {
+    event: TEventType;
+    source: StateNode<TContext, TEvent>;
+    target: StateNode<TContext, TEvent>;
+    cond?: GuardConfig<TContext, TEvent & {
+        type: TEventType;
+    }>;
+    actions: Array<Action<TContext, TEvent>>;
+    meta?: MetaObject;
+    transition: TransitionDefinition<TContext, TEvent>;
+}
+export interface NodesAndEdges<TContext extends MachineContext, TEvent extends EventObject> {
+    nodes: StateNode[];
+    edges: Array<Edge<TContext, TEvent, TEvent['type']>>;
+}
+export interface Segment<TContext extends MachineContext, TEvent extends EventObject> {
+    /**
+     * From state.
+     */
+    state: State<TContext, TEvent>;
+    /**
+     * Event from state.
+     */
+    event: TEvent;
+}
+export interface StateMeta<TContext extends MachineContext, TEvent extends EventObject> {
+    state: State<TContext, TEvent, any>;
+    _event: SCXML.Event<TEvent>;
+    self: ActorRef<TEvent>;
+    system: ActorSystem<any>;
+}
+export interface StateLike<TContext extends MachineContext> {
+    value: StateValue;
+    context: TContext;
+    event: EventObject;
+    _event: SCXML.Event<EventObject>;
+}
+export interface StateConfig<TContext extends MachineContext, TEvent extends EventObject> {
+    value: StateValue;
+    context: TContext;
+    _event: SCXML.Event<TEvent>;
+    historyValue?: HistoryValue<TContext, TEvent>;
+    actions?: BaseActionObject[];
+    meta?: any;
+    configuration?: Array<StateNode<TContext, TEvent>>;
+    transitions?: Array<TransitionDefinition<TContext, TEvent>>;
+    children: Record<string, ActorRef<any>>;
+    done?: boolean;
+    output?: any;
+    tags?: Set<string>;
+    machine?: StateMachine<TContext, TEvent, any, any, any>;
+    _internalQueue?: Array<SCXML.Event<TEvent>>;
+}
+export interface InterpreterOptions<_TActorBehavior extends AnyActorBehavior> {
+    /**
+     * Whether state actions should be executed immediately upon transition. Defaults to `true`.
+     */
+    execute?: boolean;
+    clock?: Clock;
+    logger?: (...args: any[]) => void;
+    parent?: ActorRef<any>;
+    /**
+     * If `true`, defers processing of sent events until the service
+     * is initialized (`.start()`). Otherwise, an error will be thrown
+     * for events sent to an uninitialized service.
+     *
+     * Default: `true`
+     */
+    deferEvents?: boolean;
+    /**
+     * The custom `id` for referencing this service.
+     */
+    id?: string;
+    /**
+     * If `true`, states and events will be logged to Redux DevTools.
+     *
+     * Default: `false`
+     */
+    devTools?: boolean | DevToolsAdapter;
+    sync?: boolean;
+    /**
+     * The system ID to register this actor under
+     */
+    systemId?: string;
+    /**
+     * The input data to pass to the actor.
+     */
+    input?: any;
+    state?: any;
+    /**
+     * The source definition.
+     */
+    src?: string;
+}
+export type AnyInterpreter = Interpreter<any>;
+export declare namespace SCXML {
+    interface Event<TEvent extends EventObject> {
+        /**
+         * This is a character string giving the name of the event.
+         * The SCXML Processor must set the name field to the name of this event.
+         * It is what is matched against the 'event' attribute of <transition>.
+         * Note that transitions can do additional tests by using the value of this field
+         * inside boolean expressions in the 'cond' attribute.
+         */
+        name: string;
+        /**
+         * This field describes the event type.
+         * The SCXML Processor must set it to: "platform" (for events raised by the platform itself, such as error events),
+         * "internal" (for events raised by <raise> and <send> with target '_internal')
+         * or "external" (for all other events).
+         */
+        type: 'platform' | 'internal' | 'external';
+        /**
+         * If the sending entity has specified a value for this, the Processor must set this field to that value
+         * (see C Event I/O Processors for details).
+         * Otherwise, in the case of error events triggered by a failed attempt to send an event,
+         * the Processor must set this field to the send id of the triggering <send> element.
+         * Otherwise it must leave it blank.
+         */
+        sendid?: string;
+        /**
+         * This is a URI, equivalent to the 'target' attribute on the <send> element.
+         * For external events, the SCXML Processor should set this field to a value which,
+         * when used as the value of 'target', will allow the receiver of the event to <send>
+         * a response back to the originating entity via the Event I/O Processor specified in 'origintype'.
+         * For internal and platform events, the Processor must leave this field blank.
+         */
+        origin?: ActorRef<any>;
+        /**
+         * This is equivalent to the 'type' field on the <send> element.
+         * For external events, the SCXML Processor should set this field to a value which,
+         * when used as the value of 'type', will allow the receiver of the event to <send>
+         * a response back to the originating entity at the URI specified by 'origin'.
+         * For internal and platform events, the Processor must leave this field blank.
+         */
+        origintype?: string;
+        /**
+         * If this event is generated from an invoked child process, the SCXML Processor
+         * must set this field to the invoke id of the invocation that triggered the child process.
+         * Otherwise it must leave it blank.
+         */
+        invokeid?: string;
+        /**
+         * This field contains whatever data the sending entity chose to include in this event.
+         * The receiving SCXML Processor should reformat this data to match its data model,
+         * but must not otherwise modify it.
+         *
+         * If the conversion is not possible, the Processor must leave the field blank
+         * and must place an error 'error.execution' in the internal event queue.
+         */
+        data: TEvent;
+        /**
+         * @private
+         */
+        $$type: 'scxml';
+    }
+}
+export type Observer<T> = {
+    next?: (value: T) => void;
+    error?: (err: any) => void;
+    complete?: () => void;
+};
+export interface Subscription {
+    unsubscribe(): void;
+}
+export interface InteropObservable<T> {
+    [Symbol.observable]: () => InteropSubscribable<T>;
+}
+export interface InteropSubscribable<T> {
+    subscribe(observer: Observer<T>): Subscription;
+}
+export interface Subscribable<T> extends InteropSubscribable<T> {
+    subscribe(observer: Observer<T>): Subscription;
+    subscribe(next: (value: T) => void, error?: (error: any) => void, complete?: () => void): Subscription;
+}
+export type Spawnable = AnyStateMachine | PromiseLike<any> | InvokeCallback | InteropObservable<any> | Subscribable<any> | ActorBehavior<any, any>;
+export type ExtractEvent<TEvent extends EventObject, TEventType extends TEvent['type']> = TEvent extends any ? TEventType extends TEvent['type'] ? TEvent : never : never;
+export interface BaseActorRef<TEvent extends EventObject> {
+    send: (event: TEvent) => void;
+}
+export interface ActorLike<TCurrent, TEvent extends EventObject> extends Subscribable<TCurrent> {
+    send: (event: TEvent) => void;
+}
+export interface ActorRef<TEvent extends EventObject, TSnapshot = any> extends Subscribable<TSnapshot>, InteropObservable<TSnapshot> {
+    /**
+     * The unique identifier for this actor relative to its parent.
+     */
+    id: string;
+    sessionId: string;
+    send: (event: TEvent) => void;
+    start?: () => void;
+    getSnapshot: () => TSnapshot | undefined;
+    getPersistedState?: () => any;
+    stop: () => void;
+    toJSON?: () => any;
+    _parent?: ActorRef<any, any>;
+    system?: ActorSystem<any>;
+    status: ActorStatus;
+    src?: string;
+}
+export type AnyActorRef = ActorRef<any, any>;
+export type ActorRefFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer TContext, infer TEvent, any, any, infer TResolvedTypesMeta> ? ActorRef<TEvent, State<TContext, TEvent, AreAllImplementationsAssumedToBeProvided<TResolvedTypesMeta> extends false ? MarkAllImplementationsAsProvided<TResolvedTypesMeta> : TResolvedTypesMeta>> : R extends Promise<infer U> ? ActorRef<{
+    type: string;
+}, U | undefined> : R extends ActorBehavior<infer TEvent, infer TSnapshot> ? ActorRef<TEvent, TSnapshot> : never : never;
+export type DevToolsAdapter = (service: AnyInterpreter) => void;
+export type InterpreterFrom<T extends AnyStateMachine | ((...args: any[]) => AnyStateMachine)> = ReturnTypeOrValue<T> extends StateMachine<infer TContext, infer TEvent, any, any, infer TResolvedTypesMeta> ? Interpreter<ActorBehavior<TEvent, State<TContext, TEvent, TResolvedTypesMeta>, State<TContext, TEvent, TResolvedTypesMeta>, PersistedMachineState<State<TContext, TEvent, TResolvedTypesMeta>>>> : never;
+export type MachineImplementationsFrom<T extends AnyStateMachine | ((...args: any[]) => AnyStateMachine), TRequireMissingImplementations extends boolean = false> = ReturnTypeOrValue<T> extends StateMachine<infer TContext, infer TEvent, any, any, infer TResolvedTypesMeta> ? InternalMachineImplementations<TContext, TEvent, TResolvedTypesMeta, TRequireMissingImplementations> : never;
+export type __ResolvedTypesMetaFrom<T> = T extends StateMachine<any, any, any, infer TResolvedTypesMeta> ? TResolvedTypesMeta : never;
+export type EventOfMachine<TMachine extends AnyStateMachine> = TMachine extends StateMachine<any, infer E, any, any, any> ? E : never;
+export interface ActorContext<TEvent extends EventObject, TSnapshot, TSystem extends ActorSystem<any> = ActorSystem<any>> {
+    self: ActorRef<TEvent, TSnapshot>;
+    id: string;
+    sessionId: string;
+    logger: (...args: any[]) => void;
+    defer: (fn: () => void) => void;
+    system: TSystem;
+    stopChild: (child: AnyActorRef) => void;
+}
+export type AnyActorContext = ActorContext<any, any, any>;
+export interface ActorBehavior<TEvent extends EventObject, TSnapshot = any, TInternalState = any, 
+/**
+ * Serialized internal state used for persistence & restoration
+ */
+TPersisted = TInternalState, TSystem extends ActorSystem<any> = ActorSystem<any>> {
+    transition: (state: TInternalState, message: TEvent | LifecycleSignal, ctx: ActorContext<TEvent, TSnapshot, TSystem>) => TInternalState;
+    getInitialState: (actorCtx: ActorContext<TEvent, TSnapshot, any>, input: any) => TInternalState;
+    restoreState?: (persistedState: TPersisted, actorCtx: ActorContext<TEvent, TSnapshot>) => TInternalState;
+    getSnapshot?: (state: TInternalState) => TSnapshot;
+    getStatus?: (state: TInternalState) => {
+        status: string;
+        data?: any;
+    };
+    start?: (state: TInternalState, actorCtx: ActorContext<TEvent, TSnapshot>) => void;
+    /**
+     * @returns Persisted state
+     */
+    getPersistedState?: (state: TInternalState) => TPersisted;
+}
+export type AnyActorBehavior = ActorBehavior<any, any, any, any>;
+export type SnapshotFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends ActorRef<infer _, infer TSnapshot> ? TSnapshot : R extends Interpreter<infer TBehavior> ? SnapshotFrom<TBehavior> : R extends ActorBehavior<infer _, infer TSnapshot> ? TSnapshot : R extends ActorContext<infer _, infer TSnapshot, infer __> ? TSnapshot : never : never;
+export type EventFromBehavior<TBehavior extends ActorBehavior<any, any>> = TBehavior extends ActorBehavior<infer TEvent, infer _> ? TEvent : never;
+export type PersistedStateFrom<TBehavior extends ActorBehavior<any, any>> = TBehavior extends ActorBehavior<infer _TEvent, infer _TSnapshot, infer _TInternalState, infer TPersisted> ? TPersisted : never;
+export type InternalStateFrom<TBehavior extends ActorBehavior<any, any>> = TBehavior extends ActorBehavior<infer _TEvent, infer _TSnapshot, infer TInternalState, infer _TPersisted> ? TInternalState : never;
+type ResolveEventType<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer _, infer TEvent, infer __, infer ___, infer ____> ? TEvent : R extends State<infer _, infer TEvent, infer __> ? TEvent : R extends Interpreter<infer _, infer TEvent> ? TEvent : R extends ActorRef<infer TEvent, infer _> ? TEvent : never : never;
+export type EventFrom<T, K extends Prop<TEvent, 'type'> = never, TEvent extends EventObject = ResolveEventType<T>> = IsNever<K> extends true ? TEvent : ExtractEvent<TEvent, K>;
+export type ContextFrom<T> = ReturnTypeOrValue<T> extends infer R ? R extends StateMachine<infer TContext, infer _, infer __, infer ___, infer ____> ? TContext : R extends State<infer TContext, infer _, infer __> ? TContext : R extends Interpreter<infer TBehavior> ? TBehavior extends StateMachine<infer TContext, infer _> ? TContext : never : never : never;
+export type InferEvent<E extends EventObject> = {
+    [T in E['type']]: {
+        type: T;
+    } & Extract<E, {
+        type: T;
+    }>;
+}[E['type']];
+export type TODO = any;
+export type StateValueFrom<TMachine extends AnyStateMachine> = Parameters<StateFrom<TMachine>['matches']>[0];
+export type StateFromMachine<TMachine extends AnyStateMachine> = TMachine['initialState'];
+export interface ActorSystemInfo {
+    actors: Record<string, AnyActorRef>;
+}
+export interface ActorSystem<T extends ActorSystemInfo> {
+    _bookId: () => string;
+    _register: (sessionId: string, actorRef: AnyActorRef) => string;
+    _unregister: (actorRef: AnyActorRef) => void;
+    _set: <K extends keyof T['actors']>(key: K, actorRef: T['actors'][K]) => void;
+    get: <K extends keyof T['actors']>(key: K) => T['actors'][K] | undefined;
+}
+export type PersistedMachineState<TState extends AnyState> = Pick<TState, 'value' | 'output' | 'context' | '_event' | 'done' | 'historyValue'> & {
+    children: {
+        [K in keyof TState['children']]: {
+            state: any;
+            src?: string;
+        };
+    };
+};
+export {};