(coq.theory
(package Why3Bench-pearl)
(name prover.Firstorder_symbol_spec)
(theories prover.Sum prover.Functions Why3 prover.OptionFuncs prover.Nat))
