blob: 6a8c703f6d099b6a34ecc4bd0d1bfe63d1fce322 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
default Order dec
$include <prelude.sail>
val eq_string = "eq_string" : (string, string) -> bool
val eq_real = "eq_real" : (real, real) -> bool
val eq_anything = {
ocaml: "(fun (x, y) -> x = y)",
interpreter: "eq_anything"
} : forall ('a : Type). ('a, 'a) -> bool
val length = "length" : forall 'n ('a : Type). vector('n, dec, 'a) -> atom('n)
overload operator == = {eq_string, eq_real, eq_anything}
overload ~ = {not_bool, not_vec}
val print = "print_endline" : string -> unit
|
