#set page(width: auto, height: auto) #import "/src/lib.typ": * #diagram({ _par("a", display-name: "Alice") _par("b", display-name: "Bob") _seq("a", "b", end-tip: ">", comment: `->`) _seq("a", "b", end-tip: ">>", comment: `->>`) _seq("a", "b", end-tip: "\\", comment: `-\`) _seq("a", "b", end-tip: "\\\\", comment: `-\\`) _seq("a", "b", end-tip: "/", comment: `-/`) _seq("a", "b", end-tip: "//", comment: `-//`) _seq("a", "b", end-tip: "x", comment: `->x`) _seq("a", "b", start-tip: "x", comment: `x->`) _seq("a", "b", start-tip: "o", comment: `o->`) _seq("a", "b", end-tip: ("o", ">"), comment: `->o`) _seq("a", "b", start-tip: "o", end-tip: ("o", ">"), comment: `o->o`) _seq("a", "b", start-tip: ">", end-tip: ">", comment: `<->`) _seq("a", "b", start-tip: ("o", ">"), end-tip: ("o", ">"), comment: `o<->o`) _seq("a", "b", start-tip: "x", end-tip: "x", comment: `x<->x`) _seq("a", "b", end-tip: ("o", ">>"), comment: `->>o`) _seq("a", "b", end-tip: ("o", "\\"), comment: `-\o`) _seq("a", "b", end-tip: ("o", "\\\\"), comment: `-\\o`) _seq("a", "b", end-tip: ("o", "/"), comment: `-/o`) _seq("a", "b", end-tip: ("o", "//"), comment: `-//o`) _seq("a", "b", start-tip: "x", end-tip: ("o", ">"), comment: `x->o`) }) #pagebreak() #diagram({ _par("a", display-name: "Alice") _par("b", display-name: "Bob") _seq("b", "a", end-tip: ">", comment: `->`) _seq("b", "a", end-tip: ">>", comment: `->>`) _seq("b", "a", end-tip: "\\", comment: `-\`) _seq("b", "a", end-tip: "\\\\", comment: `-\\`) _seq("b", "a", end-tip: "/", comment: `-/`) _seq("b", "a", end-tip: "//", comment: `-//`) _seq("b", "a", end-tip: "x", comment: `->x`) _seq("b", "a", start-tip: "x", comment: `x->`) _seq("b", "a", start-tip: "o", comment: `o->`) _seq("b", "a", end-tip: ("o", ">"), comment: `->o`) _seq("b", "a", start-tip: "o", end-tip: ("o", ">"), comment: `o->o`) _seq("b", "a", start-tip: ">", end-tip: ">", comment: `<->`) _seq("b", "a", start-tip: ("o", ">"), end-tip: ("o", ">"), comment: `o<->o`) _seq("b", "a", start-tip: "x", end-tip: "x", comment: `x<->x`) _seq("b", "a", end-tip: ("o", ">>"), comment: `->>o`) _seq("b", "a", end-tip: ("o", "\\"), comment: `-\o`) _seq("b", "a", end-tip: ("o", "\\\\"), comment: `-\\o`) _seq("b", "a", end-tip: ("o", "/"), comment: `-/o`) _seq("b", "a", end-tip: ("o", "//"), comment: `-//o`) _seq("b", "a", start-tip: "x", end-tip: ("o", ">"), comment: `x->o`) }) #pagebreak() #diagram({ _par("a", display-name: "Alice") _par("b", display-name: "Bob") _seq("a", "a", end-tip: ">", comment: `->`) _seq("a", "a", end-tip: ">>", comment: `->>`) _seq("a", "a", end-tip: "\\", comment: `-\`) _seq("a", "a", end-tip: "\\\\", comment: `-\\`) _seq("a", "a", end-tip: "/", comment: `-/`) _seq("a", "a", end-tip: "//", comment: `-//`) _seq("a", "a", end-tip: "x", comment: `->x`) _seq("a", "a", start-tip: "x", comment: `x->`) _seq("a", "a", start-tip: "o", comment: `o->`) _seq("a", "a", end-tip: ("o", ">"), comment: `->o`) _seq("a", "a", start-tip: "o", end-tip: ("o", ">"), comment: `o->o`) _seq("a", "a", start-tip: ">", end-tip: ">", comment: `<->`) _seq("a", "a", start-tip: ("o", ">"), end-tip: ("o", ">"), comment: `o<->o`) _seq("a", "a", start-tip: "x", end-tip: "x", comment: `x<->x`) _seq("a", "a", end-tip: ("o", ">>"), comment: `->>o`) _seq("a", "a", end-tip: ("o", "\\"), comment: `-\o`) _seq("a", "a", end-tip: ("o", "\\\\"), comment: `-\\o`) _seq("a", "a", end-tip: ("o", "/"), comment: `-/o`) _seq("a", "a", end-tip: ("o", "//"), comment: `-//o`) _seq("a", "a", start-tip: "x", end-tip: ("o", ">"), comment: `x->o`) })