diff options
Diffstat (limited to 'lib/basis.urs')
-rw-r--r-- | lib/basis.urs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/basis.urs b/lib/basis.urs index a344b3ce..ca81c95f 100644 --- a/lib/basis.urs +++ b/lib/basis.urs @@ -56,6 +56,7 @@ val show_float : show float val show_string : show string val show_bool : show bool val show_time : show time +val mkShow : t ::: Type -> (t -> string) -> show t class read val read : t ::: Type -> read t -> string -> option t |