diff options
Diffstat (limited to 'forum/score.urs')
| -rw-r--r-- | forum/score.urs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/forum/score.urs b/forum/score.urs index d3e3e18..616d1b6 100644 --- a/forum/score.urs +++ b/forum/score.urs @@ -24,3 +24,8 @@ val update : score -> score -> score (******************************** Conversion *********************************) val toInt : score -> int + + +(****************************** Pretty-printing ******************************) + +val withUnits : score -> string -> string |