js-slang/dist/validator/validator.d.ts

Javascript-based implementations of Source, written in Typescript

import type es from 'estree';
import type { Context, NodeWithInferredType } from '../types';
import { type NativeIds } from '../utils/uniqueIds';
export declare function validateAndAnnotate(program: es.Program, context: Context): NodeWithInferredType<es.Program>;
export declare function checkProgramForUndefinedVariables(program: es.Program, context: Context): void;
export declare function checkForUndefinedVariables(program: es.Program, context: Context, globalIds: NativeIds, skipUndefined: boolean): void;