#sdy update dialect doc

PiperOrigin-RevId: 651778108

Author: tomnatan30

docs/sdy_dialect.md

@@ -407,11 +407,9 @@ This op can either:
   tensor might have a different sharding (if the input tensor has no other
   uses then the behavior is the same as the no uses case).
 
-Traits: `AlwaysSpeculatableImplTrait`, `Elementwise`, `SameOperandsAndResultType`
-
-Interfaces: `ConditionallySpeculatable`, `InferTypeOpInterface`, `NoMemoryEffect (MemoryEffectOpInterface)`
+Traits: `Elementwise`, `SameOperandsAndResultType`
 
-Effects: `MemoryEffects::Effect{}`
+Interfaces: `InferTypeOpInterface`
 
 #### Attributes:
 
@@ -698,3 +696,18 @@ Syntax:
 | :-------: | :-------: | ----------- |
 | shardings | `::llvm::ArrayRef<TensorShardingAttr>` |  |
 
+## Enums
+
+### PropagationDirection
+
+propagation direction enum
+
+#### Cases:
+
+| Symbol | Value | String |
+| :----: | :---: | ------ |
+| NONE | `0` | NONE |
+| FORWARD | `1` | FORWARD |
+| BACKWARD | `2` | BACKWARD |
+| BOTH | `3` | BOTH |
+