1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
(*
** For writing ATS code
** that translates into Python
*)
(* ****** ****** *)
//
// HX-2014-08:
// prefix for external names
//
#define
ATS_EXTERN_PREFIX
"ats2pylibc_random_"
//
(* ****** ****** *)
//
staload "./../../basics_py.sats"
//
(* ****** ****** *)
//
fun random(): double = "mac#%"
//
fun
randint
{l,r:int | l <= r}
(int(l), int(r)): intBtwe(l, r) = "mac#%"
//
fun uniform(double, double): double = "mac#%"
//
(* ****** ****** *)
(* end of [random.sats] *)
|
