]> matita.cs.unibo.it Git - fireball-separation.git/blob - ocaml/discriminator.mli
Copy ocaml folder from sacerdot's svn repository, rev 4907
[fireball-separation.git] / ocaml / discriminator.mli
1 module type Discriminator = sig\r
2   type t\r
3   val magic: string list -> string list -> t\r
4   val magic_conv: div:(string option) -> conv:string list -> nums:string list -> string list -> t\r
5   val main: t list -> unit\r
6 end\r