let remove_space (s : string) : string = ( let l = String.length s in let tmp = remove_right_space s l 0 in let l2 = String.length tmp in remove_left_space tmp l2 0; )