Module Induction

module Induction: sig .. end

Induction through Cut



module type S = Induction_intf.S
module Make: 
functor (E : Env.S) ->
functor (A : Avatar_intf.S with module E = E) -> S with module Env = E
val extension : Extensions.t