Module Translate_expr


module Translate_expr: sig .. end
Translation of Expressions

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