module Builtins_string:sig
..end
typestr_builtin_sig =
Cvalue.Model.t -> Cvalue.V.t list -> Cvalue.V_Offsetmap.t option * bool
val frama_c_strlen_wrapper : str_builtin_sig
val frama_c_wcslen_wrapper : str_builtin_sig
val frama_c_strchr_wrapper : str_builtin_sig
val frama_c_wcschr_wrapper : str_builtin_sig