make-ev ( e1: b-edge e2: b-edge point: point -- edge: b-edge )

Vocabulary

euler.operators

Inputs

e1	a b-edge
e2	a b-edge
point	a point

Outputs

edge

a b-edge

Definition

USING: euler.operators.private kernel typed ;

IN: euler.operators

TYPED:: make-ev
    ( e1: b-edge e2: b-edge point: point -- edge: b-edge )
    e1 e2 eq?
    [ e1 point make-ev-one ] [ e1 e2 point (make-ev) ] if ;