diff options
Diffstat (limited to 'stdlib/stack.ml')
| -rw-r--r-- | stdlib/stack.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/stdlib/stack.ml b/stdlib/stack.ml index f49ed547f..03277d079 100644 --- a/stdlib/stack.ml +++ b/stdlib/stack.ml @@ -35,6 +35,8 @@ let top s = hd::_ -> hd | [] -> raise Empty +let is_empty s = (s.c = []) + let length s = List.length s.c let iter f s = List.iter f s.c |