split

// ------------------------------------funzione SPLIT delle istruzioni e argomenti-----------------------------------------------------------------

let rec separa (xs : char list) : string  =
    match xs with
    [] ->""
    | z::zs -> if z = ' '
               then  ""
               else  string z + separa zs;;

let rec avanti (xs : char list) : char list =
    match xs with
    []->[]
    |z::zs -> if z = ' '
              then  zs
              else  avanti zs;;

let rec split (xs : char list) : string list =
    match xs with
    [] -> []
    | z::zs ->if z=' '
              then split (avanti xs)
              else [separa xs] @ split (avanti xs);;

// ------------------------------------------------------------------------------------------------------------------------------------------------