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
|
default Order dec
$include <prelude.sail>
union option ('a : Type) = {None : unit, Some : 'a}
val eq_string = "eq_string" : (string, string) -> bool
val string_startswith = "string_startswith" : (string, string) -> bool
val string_drop = "string_drop" : (string, nat) -> string
val string_length = "string_length" : string -> nat
val string_append = "string_append" : (string, string) -> string
val maybe_int_of_prefix = "maybe_int_of_prefix" : string -> option((int, nat))
val maybe_nat_of_prefix = "maybe_nat_of_prefix" : string -> option((nat, nat))
val maybe_int_of_string = "maybe_int_of_string" : string -> option(int)
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
|
