[fireball-separation.git] / ocaml / lambda4.mli

type problem\r
val problem_of: div:(string option) -> conv:string list -> nums:string list -> problem\r
val solve: problem -> unit\r