diff options
Diffstat (limited to 'mu_summary')
| -rw-r--r-- | mu_summary | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mu_summary b/mu_summary index f15b6bd1..addfa340 100644 --- a/mu_summary +++ b/mu_summary @@ -207,5 +207,6 @@ Similarly, conditional loops: ## User-defined types - var/reg: (addr T_f) <- get var: (addr T), f + var/reg: (addr T_f) <- get var/reg: (addr T), f where record (product) type T has elements a, b, c, ... of types T_a, T_b, T_c, ... + var/reg: (addr T_f) <- get var: (addr T), f |