Extend doc for ProgramClauseImplication

Author: fabric-and-ink

src/ir/mod.rs

@@ -480,7 +480,9 @@ pub struct ProgramClause {
     pub implication: Binders<ProgramClauseImplication>,
 }
 
-/// Represents one clause of the form `consequence :- conditions`.
+/// Represents one clause of the form `consequence :- conditions` where
+/// `conditions = cond_1 || cond_2 || ...` is the conjunction of the individual
+/// conditions.
 #[derive(Clone, Debug, PartialEq, Eq, Hash)]
 pub struct ProgramClauseImplication {
     pub consequence: DomainGoal,