1 2 3 4 5 6 7 8 9 10 11
(*i $Id$ i*) open Names open Term open Miniml let extract spl = failwith "TODO"