Update comment

azdavis · Dec 7, 2023 · 16629c5 · 16629c5
1 parent d381823
commit 16629c5
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/crates/sml-statics-types/src/info.rs b/crates/sml-statics-types/src/info.rs
@@ -51,7 +51,14 @@ pub struct ValInfo {
   pub ty_scheme: TyScheme,
   /// The identifier status.
   pub id_status: IdStatus,
-  /// The definitions. It's a set, because we can have or patterns.
+  /// The definitions.
+  ///
+  /// It's a set, because we can have:
+  ///
+  /// - Or patterns. Each occurrence of a variable in each or pattern alternative should be one of
+  ///   the defs.
+  /// - Structures ascribing to signatures. The definition in the structure and signature are both
+  ///   important.
   pub defs: FxHashSet<def::Def>,
   /// Whether this is disallowed.
   pub disallow: Option<Disallow>,