def to_cffi_type(parameter):
    """ Return the ctypes type corresponding to a parameter. """
    if parameter.is_generic_pointer():
        return 'void *'
    else:
        return str(parameter.c_type)
