Module Translate_prop


module Translate_prop: sig .. end

Translation environments



module WpLog: Wp_parameters
module Create: 
functor (M : Mlogic.S) -> sig .. end