Module `Libzipperposition_induction`

Induction through Cut

module type S = Libzipperposition_induction__.Induction_intf.S

module type AVATAR = Libzipperposition_avatar.S

module Make : functor (E : Libzipperposition.Env.S) -> functor (A : AVATAR with module E = E) -> S with module Env = E