import type { AndGuard, EventObject, Guard, MachineContext, NotGuard, OrGuard, StateInGuard, StateValue } from "./types/index.js";
import type { DoNotInfer } from "./types/common.js";
/**
 * Builtin guard combinators. Like XState they return frozen *functions* (named
 * `and` / `or` / `not` / `stateIn`) carrying the `BUILTIN` brand; calling one
 * throws. The interpreter evaluates them structurally. Parameters are
 * `DoNotInfer` so the generics (including `TParams`) come from the contextual
 * `guard` slot.
 */
export declare function and<TContext extends MachineContext, TExpressionEvent extends EventObject = EventObject, TParams = undefined>(guards: readonly Guard<DoNotInfer<TContext>, DoNotInfer<TExpressionEvent>>[]): AndGuard<TContext, TExpressionEvent, TParams>;
export declare function or<TContext extends MachineContext, TExpressionEvent extends EventObject = EventObject, TParams = undefined>(guards: readonly Guard<DoNotInfer<TContext>, DoNotInfer<TExpressionEvent>>[]): OrGuard<TContext, TExpressionEvent, TParams>;
export declare function not<TContext extends MachineContext, TExpressionEvent extends EventObject = EventObject, TParams = undefined>(guard: Guard<DoNotInfer<TContext>, DoNotInfer<TExpressionEvent>>): NotGuard<TContext, TExpressionEvent, TParams>;
/** True when the machine is in `stateValue` (`"#id"` checks node membership, anything else uses `matches()`). */
export declare function stateIn<TContext extends MachineContext = MachineContext, TExpressionEvent extends EventObject = EventObject, TParams = undefined>(stateValue: StateValue): StateInGuard<TContext, TExpressionEvent, TParams>;