Although it isn’t documented (AFAIK), one can include
lets inside of a
template Foo with sig : Party num : Int where let oneMore = num + 1 signatory sig choice Incr : ContractId Foo controller sig do create Foo with num = oneMore, ..
this can be useful for common expressions in choices. Is this behavior that will be supported in the language or is it a bad idiom? Can we add it to the documentation?