Interface Jsonified

interface Jsonified {
    builtInEnv?: true;
    globalEnv?: true;
    id: NodeId;
    memory: BuiltInMemory;
    n?: string;
    parent: Jsonified | undefined;
    t?: EnvType;
}