Open stephenctw opened 1 year ago
event commitmentJoined(Tree.Node root);
event commitmentJoined(Tree.Node left, Tree.Node right);
matchCreated
commitmentJoined
event commitmentJoined(Tree.Node root);
=>event commitmentJoined(Tree.Node left, Tree.Node right);
matchCreated
can be constructed from thecommitmentJoined
event. (every pair of consecutivecommitmentJoined
implies amatchCreated
)