diff options
Diffstat (limited to 'lib/basis.urs')
| -rw-r--r-- | lib/basis.urs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/basis.urs b/lib/basis.urs index 109ab31a..14b6d464 100644 --- a/lib/basis.urs +++ b/lib/basis.urs @@ -24,7 +24,8 @@ val eq_bool : eq bool val strcat : string -> string -> string val intToString : int -> string - +val floatToString : float -> string +val boolToString : bool -> string (** SQL *) |