X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/fc2ec49c325b99370170789886b4be4f43e16d68..b8e89a384896a4f8ce3e1990a10c88e7164af55c:/documentation/code_VALValue.take_off_N.html diff --git a/documentation/code_VALValue.take_off_N.html b/documentation/code_VALValue.take_off_N.html deleted file mode 100644 index b92ab1c..0000000 --- a/documentation/code_VALValue.take_off_N.html +++ /dev/null @@ -1,28 +0,0 @@ -
- - - - - - - - - - - - - - - -let rec take_off_N v =
- match v with
- |N i -> i
- |R f ->
- raise (Convert_Error "float take_off_N int")
- |Vec (size, vec) ->
- raise (Convert_Error "take_off_N can not convert vector.")
- |Zero -> 0
- |W -> 0
\ No newline at end of file