module Model.Parameter

import Model.Config

family ModelWord64 : Type 0
constructor ModelWord64Value
field unrestricted modelWord64Byte0 : Byte
field unrestricted modelWord64Byte1 : Byte
field unrestricted modelWord64Byte2 : Byte
field unrestricted modelWord64Byte3 : Byte
field unrestricted modelWord64Byte4 : Byte
field unrestricted modelWord64Byte5 : Byte
field unrestricted modelWord64Byte6 : Byte
field unrestricted modelWord64Byte7 : Byte

end-family

family ModelFloat64Bits : Type 0
constructor ModelFloat64BitsValue
field unrestricted modelFloat64Byte0 : Byte
field unrestricted modelFloat64Byte1 : Byte
field unrestricted modelFloat64Byte2 : Byte
field unrestricted modelFloat64Byte3 : Byte
field unrestricted modelFloat64Byte4 : Byte
field unrestricted modelFloat64Byte5 : Byte
field unrestricted modelFloat64Byte6 : Byte
field unrestricted modelFloat64Byte7 : Byte

end-family