Commit 98447aa5 authored by POTTIER Francois's avatar POTTIER Francois

Added [CompletedNatWitness.extract].

parent 550af935
......@@ -111,3 +111,9 @@ let to_int p =
| Infinity ->
max_int
let extract p =
match p with
| Finite (_, xs) ->
Seq.elements xs
| Infinity ->
assert false
......@@ -28,3 +28,4 @@ val until_finite: 'a t -> (unit -> 'a t) -> 'a t
val print: ('a -> string) -> 'a t -> string
val to_int: 'a t -> int
val extract: 'a t -> 'a list
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment