diff options
Diffstat (limited to 'lib/util.ml')
| -rw-r--r-- | lib/util.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/util.ml b/lib/util.ml index b67539918..6e22d6be5 100644 --- a/lib/util.ml +++ b/lib/util.ml @@ -88,6 +88,7 @@ let matrix_transpose mat = let identity x = x let compose f g x = f (g x) +let (%) = compose let const x _ = x |