From dd074c8f5ac95b4c077ac0f6f63626b1fdc13950 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Fri, 13 Jun 2008 20:06:00 +0000 Subject: [PATCH] Clarify how to write multiple patterns to a file --- bitmatch_persistent.mli | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/bitmatch_persistent.mli b/bitmatch_persistent.mli index 13927af..f390970 100644 --- a/bitmatch_persistent.mli +++ b/bitmatch_persistent.mli @@ -235,6 +235,11 @@ v} | \{ _ } -> invalid_arg "not a Pascal string" v} + You can write more than one named pattern to the output file, and + they will all be loaded at the same time by [open bitmatch ".."] + (obviously you should give each pattern a different name). To do + this, just call {!named_to_channel} as many times as needed. + {2:reference Reference} {3 Types} -- 1.8.3.1