24 lines
400 B
TypeScript
24 lines
400 B
TypeScript
import { Ty } from "./ty.ts";
|
|
|
|
export type RootSym = {
|
|
id: string;
|
|
ty: Ty;
|
|
};
|
|
|
|
export const rootSyms: RootSym[] = [
|
|
{
|
|
id: "print_int",
|
|
ty: Ty.create("Fn", {
|
|
params: [],
|
|
retTy: Ty.Void,
|
|
}),
|
|
},
|
|
{
|
|
id: "__add",
|
|
ty: Ty.create("Fn", {
|
|
params: [Ty.Int, Ty.Int],
|
|
retTy: Ty.Int,
|
|
}),
|
|
},
|
|
];
|