module Datalib: sig
.. end
identifier s
strip all non alpha-numerical characters in s
.
module WpLog: Wp_parameters
val mk_access_ufield : string
val mk_update_ufield : string
val mk_empty : string
val mk_singleton : string
val mk_union : string
val mk_inter : string
val mk_remove : string
val mk_range : string
val mk_range_inf : string
val mk_range_sup : string
val mk_integers : string
val mk_radd : string
val mk_rmult : string
val mk_rneg : string
val get_range_index : string
val set_range_index : string
val farray_access : string
val farray_update : string
val mk_iformat : Ctypes.c_int -> string
val mk_imodulo : string
val mk_iguard : string
val mk_fformat : Ctypes.c_float -> string
val mk_round : string
val mk_fguard : string
val mk_equal_pointer_bool : string
val mk_lt_pointer_bool : string
val mk_le_pointer_bool : string
val mk_minus_pointer : string
val mk_lt_pointer : string
val mk_le_pointer : string
val mk_is_null : string
val mk_null : string
val mk_int_format : string
val mk_real_format : string
val mk_pointer_format : string
val mk_record_format : string
val mk_urecord_format : string
val mk_array_format : string
val mk_eq_record : string
val mk_eq_urecord : string
val mk_eq_array : string
val mk_eq_record_bool : string
val mk_eq_urecord_bool : string
val mk_eq_array_bool : string
val identifier : string -> string
val reserved_prefix_tbl : (string, unit) Hashtbl.t
val register_prefix : string -> unit
val has_reserved_prefix : string -> bool
Returns true
iff the string contains '_' and the prefix ending at the first '_' is
a reserved prefix.
In this case the string cannot be used as an identifier in the generated files.
module Tau: sig
.. end
module Collector: sig
.. end
module Create:
module Cvalues: