X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/fc2ec49c325b99370170789886b4be4f43e16d68..b8e89a384896a4f8ce3e1990a10c88e7164af55c:/documentation/code_VALValue.print_value_list.html diff --git a/documentation/code_VALValue.print_value_list.html b/documentation/code_VALValue.print_value_list.html deleted file mode 100644 index d0127d2..0000000 --- a/documentation/code_VALValue.print_value_list.html +++ /dev/null @@ -1,28 +0,0 @@ -
- - - - - - - - - - - - - - - -let print_value_list value_list =
- let s = ref "[" in
- let n = List.length value_list in
- for i = 0 to n - 1 do
- let current = List.nth value_list i in
- s := if i + 1 < n then !s ^ string_of_value current ^ "; "
- else !s ^ string_of_value current ^ "]"
- done;
- print_endline !s
\ No newline at end of file