tree 786a39590de134262b576bd77fc1f94ceff70028
parent cda5a306c3424f669fce7400c3678afbbf4e1af3
parent b9787eda40b5e43be772a2404ee8030c3e70ea0e
author Jinseong Jeon <jsjeon@google.com> 1543514780 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1543514780 +0000

Merge "Redesign array type lattice element."