(coq.theory
(package Why3Bench-frama_c)
(name contiki_memb.A_MemSet)
(theories contiki_memb.Compound Why3 Why3.Qed Why3.Memory))
