diff options
Diffstat (limited to 'src/wall.mli')
| -rw-r--r-- | src/wall.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/wall.mli b/src/wall.mli index 59d8edb..dc96218 100644 --- a/src/wall.mli +++ b/src/wall.mli @@ -26,6 +26,8 @@ module type S = type element type wall + val empty : wall + val create : dimx:int -> dimy:int -> init:element array -> wall val x_length : wall -> int |