import { FrInput } from "../../library/FrInput.js";
import { FrType, UnwrapFrType } from "../../library/FrType.js";
import { TTypedLambda } from "../../types/TTypedLambda.js";
import { Value } from "../../value/index.js";
import { Reducer } from "../Reducer.js";
export declare class FnDefinition {
    inputs: FrInput<boolean>[];
    output: FrType;
    signature: TTypedLambda;
    run: (args: unknown[], reducer: Reducer) => unknown;
    isAssert: boolean;
    isDecorator: boolean;
    deprecated?: string;
    private constructor();
    showInDocumentation(): boolean;
    toString(): string;
    tryCall(args: Value[], reducer: Reducer): Value | undefined;
    static make<const MaybeInputTypes extends AnyInputOrType[], const Output>(maybeInputs: MaybeInputTypes, output: FrType<Output>, run: InferRunFromInputsAndOutput<MaybeInputTypes, FrType<Output>>, params?: {
        deprecated?: string;
        isDecorator?: boolean;
    }): FnDefinition;
    static makeAssert<const MaybeInputTypes extends AnyInputOrType[]>(maybeInputs: MaybeInputTypes, errorMsg: string): FnDefinition;
}
type AnyInputOrType = FrInput<any, any> | FrType<any>;
type UnwrapInput<T extends FrInput<any, any>> = T extends FrInput<infer O, infer U> ? [
    O
] extends [true] ? U | null : [O] extends [false] ? U : never : never;
type InferRunFromInputsAndOutput<Inputs extends AnyInputOrType[], Output extends FrType<any>> = (args: {
    [K in keyof Inputs]: UnwrapInputOrType<Inputs[K]>;
}, reducer: Reducer) => UnwrapFrType<Output>;
type UnwrapInputOrType<T extends AnyInputOrType> = T extends FrInput<any, any> ? UnwrapInput<T> : T extends FrType<any> ? UnwrapFrType<T> : never;
export declare function makeDefinition<const InputTypes extends AnyInputOrType[], const Output>(maybeInputs: Parameters<typeof FnDefinition.make<InputTypes, Output>>[0], output: Parameters<typeof FnDefinition.make<InputTypes, Output>>[1], run: Parameters<typeof FnDefinition.make<InputTypes, Output>>[2], params?: Parameters<typeof FnDefinition.make<InputTypes, Output>>[3]): FnDefinition;
export {};
//# sourceMappingURL=FnDefinition.d.ts.map