diff options
Diffstat (limited to 'stdlib/source/library/lux/static.lux')
| -rw-r--r-- | stdlib/source/library/lux/static.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/static.lux b/stdlib/source/library/lux/static.lux index a332842ed..668a23331 100644 --- a/stdlib/source/library/lux/static.lux +++ b/stdlib/source/library/lux/static.lux @@ -31,7 +31,7 @@ Nat (hex "FEDCBA9876543210")) -(with_expansions [<type> (Ex [a] +(with_expansions [<type> (Ex (_ a) [(-> a Code) a])] (syntax: .public (literal [format <code>.any @@ -56,7 +56,7 @@ [random_frac random.frac code.frac] ) -(with_expansions [<type> (Ex [a] +(with_expansions [<type> (Ex (_ a) [(-> a Code) (Random a)])] (syntax: .public (random [format <code>.any |