update comments in hello.rs

lsd-ucsc · Oct 1, 2023 · 8c02c24 · 8c02c24
1 parent feb84a2
commit 8c02c24
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/chorus_lib/examples/hello.rs b/chorus_lib/examples/hello.rs
@@ -18,6 +18,9 @@ struct HelloWorldChoreography;
 
 // Implement the `Choreography` trait for `HelloWorldChoreography`
 impl Choreography for HelloWorldChoreography {
+    // Define the set of locations involved in the choreography.
+    // In this case, the set consists of `Alice` and `Bob` and
+    // the choreography can use theses locations.
     type L = LocationSet!(Alice, Bob);
     fn run(self, op: &impl ChoreoOp<Self::L>) {
         // Create a located value at Alice