]> matita.cs.unibo.it Git - fireball-separation.git/blob - ocaml/lambda4.mli
c8a571ea825781a0e9db687b3c9c8e868cf54270
[fireball-separation.git] / ocaml / lambda4.mli
1 type t\r
2 val magic: string list -> string list -> t\r
3 val magic_conv: div:(string option) -> conv:string list -> nums:string list -> string list -> t\r
4 val main: t list -> unit\r