libzipperposition
Libzipperposition.Lift_lambdas
libzipperposition.avatar
libzipperposition.calculi
libzipperposition.induction
libzipperposition.phases
module type S = sig ... end
module Make (E : Env.S) : S with module Env = E
val extension : Extensions.t