js-slang/dist/stdlib/localImport.prelude.d.ts

Javascript-based implementations of Source, written in Typescript

export declare const accessExportFunctionName = "__access_export__";
export declare const defaultExportLookupName = "default";
export declare const localImportPrelude = "\nfunction __access_named_export__(named_exports, lookup_name) {\n  if (is_null(named_exports)) {\n    return undefined;\n  } else {\n    const name = head(head(named_exports));\n    const identifier = tail(head(named_exports));\n    if (name === lookup_name) {\n      return identifier;\n    } else {\n      return __access_named_export__(tail(named_exports), lookup_name);\n    }\n  }\n}\n\nfunction __access_export__(exports, lookup_name) {\n  if (lookup_name === \"default\") {\n    return head(exports);\n  } else {\n    const named_exports = tail(exports);\n    return __access_named_export__(named_exports, lookup_name);\n  }\n}\n";