function constructUserimport { constructUser } from "https://deno.land/x/mtkruto@0.1.128/types/1_user.ts"; constructUser(user_: types.User)Parametersuser_: types.User