lutils

Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg)
Library lutils
Module Mypervasives
val string_to_string_list : string -> string list
val usage_out : (Arg.key * Arg.spec * Arg.doc) list -> Arg.usage_msg -> unit
val readfile : ?verbose:bool -> string -> string
val mygetenv : string -> string
val list_split7 : ('a * 'b * 'c * 'd * 'e * 'f * 'g) list -> 'a0 list * 'b0 list * 'c0 list * 'd0 list * 'e0 list * 'f0 list * 'g0 list
val list_minus : 'a list -> 'b list -> 'a list
val list_union : 'a list -> 'b list -> 'a list
val list_rm_dup : 'a list -> 'a list

Removes duplicates from a list (conserving its order)

module StringMap : sig ... end

Map of strings

I define my own version of print_float to turn around a bug of sim2chro where it does not understand floats with no digit (e.g., 4. instead of 4.0)

val format_float : string -> float -> string
val my_string_of_float : float -> int -> string
val my_print_float : float -> int -> unit
val overflow_msg : string -> unit
val int_of_num : Num.num -> int
val entete2 : string -> string -> string -> string -> string
val entete : string -> string -> string -> string
type my_create_process_result =
| OK
| KO
| PID of int
val my_create_process : ?std_in:Unix.file_descr -> ?std_out:Unix.file_descr -> ?std_err:Unix.file_descr -> ?wait:bool -> string -> string list -> my_create_process_result
val run : string -> ( string -> string option ) -> string list
val ls : string -> string -> string list