(coq.theory
(package Why3Bench-pearl)
(name defunctionalization_vcg)
(theories defunctionalization_vcg.defunctionalization Why3))
