diff options
Diffstat (limited to 'source/lux/control/bounded.lux')
-rw-r--r-- | source/lux/control/bounded.lux | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/source/lux/control/bounded.lux b/source/lux/control/bounded.lux deleted file mode 100644 index b4c8a3e57..000000000 --- a/source/lux/control/bounded.lux +++ /dev/null @@ -1,14 +0,0 @@ -## Copyright (c) Eduardo Julian. All rights reserved. -## This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. -## If a copy of the MPL was not distributed with this file, -## You can obtain one at http://mozilla.org/MPL/2.0/. - -(;import lux) - -## Signatures -(defsig #export (Bounded a) - (: a - top) - - (: a - bottom)) |