diff options
Diffstat (limited to 'mu_summary')
| -rw-r--r-- | mu_summary | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/mu_summary b/mu_summary index 3a93d109..179aa11f 100644 --- a/mu_summary +++ b/mu_summary @@ -200,3 +200,8 @@ Similarly, conditional loops: var/reg: int <- length var: (addr array T) var/reg: (addr T) <- index var: (addr array T), idx: int var/reg: (addr T) <- index var: (addr array T), n + +## User-defined types + + var/reg: (addr T_f) <- get var: (addr T), f + where record (product) type T has elements a, b, c, ... of types T_a, T_b, T_c, ... |