def coq_param(name, type):
    """Coq parameter
    
    Arguments:
    - `name`: name of the variable
    - `type`: type of the variable
    """
    return "Parameter {0!s} : {1!s}.\n".format(name, type)