blob: b91abfaddaac82776dc66b73ceba58b76e920595 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
default Order dec
$include <prelude.sail>
val "concat_str" : (string, string) -> string
val "eq_string" : (string, string) -> bool
overload operator == = {eq_string}
$property
function prop(() : unit) -> bool = {
let x = "Hello, ";
let y = "World!";
concat_str(x, y) == "Hello, World!"
}
|
