added events

This commit is contained in:
2024-06-21 02:23:13 +02:00
parent fd5b147e86
commit 9c83f810bb
3 changed files with 45 additions and 1 deletions

View File

@ -9,6 +9,15 @@
),)
}
#let _evt(participant, event) = {
return ((
type: "evt",
participant: participant,
event: event,
lifeline-style: auto
),)
}
#let diagram(elements) = {
if elements == none {
return