let startof l ty = match l with | Mloc l -> Mloc (M.startof l ty) | Path _ -> Wp_parameters.fatal "startof a functional variable"