(*i $Id$ i*)

open Names
open Term
open Miniml

let extract spl = 
  failwith "TODO"