let resolv_function_type t =
  match t.ct_ty with
    Tfunction(at,var,rt) -> rt, at, var
  | _ -> raise (Type_Error_local "invoking non function")