AlphaGitHub
Source/Packages

Model.Parameter

packages/foundation/standard/src/Model/Parameter.alpha

29 lines20 declarations0.9 KiBSHA-256 1541d5016f77
Download exact fileView at revision2877a0c1788f2c63bb

Complete file

Parameter.alpha

Definition view
1module Model.Parameter
2
3import Model.Config
4
5family ModelWord64 : Type 0
6constructor ModelWord64Value
7field unrestricted modelWord64Byte0 : Byte
8field unrestricted modelWord64Byte1 : Byte
9field unrestricted modelWord64Byte2 : Byte
10field unrestricted modelWord64Byte3 : Byte
11field unrestricted modelWord64Byte4 : Byte
12field unrestricted modelWord64Byte5 : Byte
13field unrestricted modelWord64Byte6 : Byte
14field unrestricted modelWord64Byte7 : Byte
15
16end-family
17
18family ModelFloat64Bits : Type 0
19constructor ModelFloat64BitsValue
20field unrestricted modelFloat64Byte0 : Byte
21field unrestricted modelFloat64Byte1 : Byte
22field unrestricted modelFloat64Byte2 : Byte
23field unrestricted modelFloat64Byte3 : Byte
24field unrestricted modelFloat64Byte4 : Byte
25field unrestricted modelFloat64Byte5 : Byte
26field unrestricted modelFloat64Byte6 : Byte
27field unrestricted modelFloat64Byte7 : Byte
28
29end-family

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.