summaryrefslogtreecommitdiffstats
path: root/bytecomp/matching.mli
diff options
context:
space:
mode:
Diffstat (limited to 'bytecomp/matching.mli')
-rw-r--r--bytecomp/matching.mli4
1 files changed, 4 insertions, 0 deletions
diff --git a/bytecomp/matching.mli b/bytecomp/matching.mli
index 763f8fe03..acbcd6ff8 100644
--- a/bytecomp/matching.mli
+++ b/bytecomp/matching.mli
@@ -35,3 +35,7 @@ val for_tupled_function:
exception Cannot_flatten
val flatten_pattern: int -> pattern -> pattern list
+
+val make_test_sequence:
+ lambda option -> primitive -> primitive -> lambda ->
+ (Asttypes.constant * lambda) list -> lambda