kill-f-make-rh ( edge-face: b-edge edge-base-face: b-edge -- )


Vocabulary
euler.operators

Inputs
edge-facea b-edge
edge-base-facea b-edge


Outputs
None

Definition


TYPED:: kill-f-make-rh
( edge-face: b-edge edge-base-face: b-edge -- )
edge-face face>> :> face edge-base-face face>> :> base-face
face assert-base-face base-face assert-base-face
edge-face edge-base-face assert-different-faces
face base-face add-ring ;