js-slang/dist/tracer/builtins/misc.d.ts

Javascript-based implementations of Source, written in Typescript

import { StepperExpression } from '../nodes';
export declare const miscBuiltinFunctions: {
    arity: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    char_at: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    display: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    error: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    get_time: {
        definition: (_args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    is_boolean: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    is_function: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    is_number: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    is_string: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    is_undefined: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    parse_int: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    prompt: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
    stringify: {
        definition: (args: StepperExpression[]) => StepperExpression;
        arity: number;
    };
};