Module join 

Functions

emit_join

Emits a Join expression. Join { label, params, rhs, body } creates a join point (a parameterized block) that can be jumped to from within the body.

emit_jump

Emits a Jump expression. Jump { label, args } transfers control to the join point block.