translated mc type example from paper towards our current syntax. some features, such as arithmetic on field sizes, isn't supported -- i'll tweak that in a later evolution of this file until it gets supported in the compiler;
translated mc type example from paper towards our current syntax. some features, such as arithmetic on field sizes, isn't supported -- i'll tweak that in a later evolution of this file until it gets supported in the compiler;

NaaS/motto,NaaS/motto