{
if (!identity)
{
- throw new Error("Weak sequenceI equivalence not yet implemented.");
+ throw new Error(
+ "Weak sequenceI equivalence not yet implemented.");
}
else
{
}
if (!identity)
{
- throw new Error("Weak sequenceI equivalence not yet implemented.");
+ throw new Error(
+ "Weak sequenceI equivalence not yet implemented.");
}
else
{