DolmenIntf.Interp
val to_int : interp -> int
val to_real : interp -> float
val to_bool : interp -> bool
val to_string : interp -> string
val to_bitv : interp -> int -> Z.t
val to_float : interp -> int -> int -> float