provided by TTworkbench
|
| Templates Summary | |
|---|---|
| TokyoUTCModelV5 | |
| TokyoUTCModelV10 | |
template RRLPV5Types.UTCModel TokyoUTCModelV5 := {
utcA1 := 0,
utcA0 := 0,
utcTot := 0,
utcWNt := 0,
utcDeltaTls := 0,
utcWNlsf := 0,
utcDN := 0,
utcDeltaTlsf := 0
}
template RRLP_Components_V10.UTCModel TokyoUTCModelV10 := {
utcA1 := 0,
utcA0 := 0,
utcTot := 0,
utcWNt := 0,
utcDeltaTls := 0,
utcWNlsf := 0,
utcDN := 0,
utcDeltaTlsf := 0
}