public MkInt2Real ( |
||
t | ||
Результат |
k
and and asserting MakeInt2Real(k) <= t1 < MkInt2Real(k)+1
. The argument must be of integer sort.
public MkInt2Real ( |
||
t | ||
Результат |