Integration.InferCommandImplementation
implementations of infer commands
val debug : unit -> unit
val explore : unit -> unit
val help : unit -> unit
val report : unit -> unit
val report_diff : unit -> unit