diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-07 10:20:42 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-07 10:20:42 -0400 |
| commit | dbb9192edae68feb230b5b231fcaf10fd68103e8 (patch) | |
| tree | 251b269c6625e07edaba423511cac2cdad51bbed /lib | |
| parent | 79c2e18d5d237d48f0803bb874d72b4354ba9b25 (diff) | |
toString for float and bool
Diffstat (limited to 'lib')
| -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 *) |