‘type’ library function.