Op documentation update.

	update of sdy_dialect.md

PiperOrigin-RevId: 707214026

Author: Google-ML-Automation

docs/sdy_dialect.md

@@ -100,7 +100,7 @@ Effects: `MemoryEffects::Effect{}`
 
 | Result | Description |
 | :----: | ----------- |
-| `output` | tensor of any type values
+| `output` | statically shaped tensor of any type values
 
 
 ### `sdy.data_flow_edge` (sdy::DataFlowEdgeOp)
@@ -123,6 +123,7 @@ An op can have multiple data flow edges that are orthogonal to one another.
 
 For example:
 
+
 ```mlir
   y_0, ..., y_n = while (x_0, ..., x_n)
                   ((pred_arg_0,... , pred_arg_n) { ... })