[Ur] record expression

[Gergely Buday]

Hi there,

is it possible to write in Ur a type definiton that expresses that

type myRecord = { MyField : int, MyOtherField : string,
                            and here come some identically typed fields,
                            1:  $((First : option price, Second :
option price) ++ map option otherFields),
                            2:  $((First : option price, Second :
option price) ++ map option otherFields)
                                ...
                            n: $((First : option price, Second :
option price) ++ map option otherFields)
                           }

where n is not fixed at the time of the writing but depends on other
definitions?

- Gergely