Module Translate_prop


module Translate_prop: sig .. end

Translation environments



module WpLog: Wp_parameters
val debug : ?level:int -> 'a Log.pretty_printer
module Create: 
functor (M : Mlogic.S) -> sig .. end