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