var rename_scope = require("rename_scope"); | |
var a = new rename_scope.Natural_UP(); | |
var b = new rename_scope.Natural_BP(); | |
if (a.rtest() !== 1) { | |
throw new Error("a.rtest(): Expected 1, was " + a.rtest()); | |
} | |
if (b.rtest() !== 1) { | |
throw new Error("b.rtest(): Expected 1, was " + b.rtest()); | |
} | |
var f = rename_scope.equals; | |
if (f === undefined) { | |
throw new Error("Equality operator has not been renamed."); | |
} |