diff options
Diffstat (limited to 'lib/syntax/tree.mli')
| -rw-r--r-- | lib/syntax/tree.mli | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/syntax/tree.mli b/lib/syntax/tree.mli index a82c07c..9ed442b 100644 --- a/lib/syntax/tree.mli +++ b/lib/syntax/tree.mli @@ -47,8 +47,9 @@ end module Expression : sig include S.Expression with type t' = S.pos Ast.expression - val eq : (S.pos -> S.pos -> bool) -> t -> t -> bool - val hash : (S.pos -> int) -> t -> int + val eq : (S.pos -> S.pos -> bool) -> t' -> t' -> bool + val hash : (S.pos -> int) -> t' -> int + val exists : f:(t' -> bool) -> t' -> bool end include |