UNPKG

js-slang

Version:

Javascript-based implementations of Source, written in Typescript

github.com/source-academy/js-slang

source-academy/js-slang

4 lines (3 loc) • 290 B
1
2
3
4
import { StepperVariableDeclarator } from './nodes/Statement/VariableDeclaration'; export declare function getFreshName(targetName: string[], protectedNames: string[]): string[]; export declare function assignMuTerms(declarations: StepperVariableDeclarator[]): StepperVariableDeclarator[];