Prove that a wire is closed, returning a branded ClosedWire on success. This is the primary smart constructor for ClosedWire.
ClosedWire
const w = wire([e1, e2, e3]);const closed = closedWire(unwrap(w));if (isOk(closed)) { const f = face(closed.value); // ClosedWire accepted} Copy
const w = wire([e1, e2, e3]);const closed = closedWire(unwrap(w));if (isOk(closed)) { const f = face(closed.value); // ClosedWire accepted}
Prove that a wire is closed, returning a branded
ClosedWireon success. This is the primary smart constructor forClosedWire.