[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Record Type



How can we concatenate two records?
For example, given

R1 : TYPE = [# a:nat, b:nat #]
R2 : TYPE = [# c: int, d:int #]

I want to get a record type

R3 : TYPE = [# a:nat, b:nat, c: int, d:int #]


Is that possible??

Thanks.

DBA