| 84 |
val cos : exp -> exp |
val cos : exp -> exp |
| 85 |
val sqrt : exp -> exp |
val sqrt : exp -> exp |
| 86 |
(* rounding *) |
(* rounding *) |
| 87 |
|
val trunc : exp -> exp (* truncate real to integral real *) |
| 88 |
val round : exp -> exp (* round real to integral real *) |
val round : exp -> exp (* round real to integral real *) |
| 89 |
val floor : exp -> exp (* round real to integral real *) |
val floor : exp -> exp (* real to integral real floor *) |
| 90 |
val ceil : exp -> exp (* round real to integral real *) |
val ceil : exp -> exp (* real to integral real ceiling *) |
| 91 |
(* conversions *) |
(* conversions *) |
| 92 |
val toReal : exp -> exp (* integer to real *) |
val toReal : exp -> exp (* integer to real *) |
|
val roundToInt : exp -> exp (* round real to int *) |
|
| 93 |
val truncToInt : exp -> exp (* truncate real to inte *) |
val truncToInt : exp -> exp (* truncate real to inte *) |
| 94 |
|
val roundToInt : exp -> exp (* round real to int *) |
| 95 |
val ceilToInt : exp -> exp (* ceiling of real to int *) |
val ceilToInt : exp -> exp (* ceiling of real to int *) |
| 96 |
val floorToInt : exp -> exp (* floor of real to int *) |
val floorToInt : exp -> exp (* floor of real to int *) |
| 97 |
(* runtime system hooks *) |
(* runtime system hooks *) |
| 103 |
val comment : string list -> stm |
val comment : string list -> stm |
| 104 |
val assignState : var * exp -> stm |
val assignState : var * exp -> stm |
| 105 |
val assign : var * exp -> stm |
val assign : var * exp -> stm |
|
val assignb : var * exp -> stm |
|
| 106 |
val block : stm list -> stm |
val block : stm list -> stm |
| 107 |
val ifthenelse : exp * stm * stm -> stm |
val ifthenelse : exp * stm * stm -> stm |
| 108 |
val die : unit -> stm |
val die : unit -> stm |
Parent Directory
| 
Revision Log
| 
Patch
