def coq_def(name, params, body):
    """Coq definition
    
    Arguments:
    - `name`: name of the defined function
    - `params`: strings representing the parameters
    - `body`: the body of the definition
    """
    return "Definition {0!s} {1!s} := {2!s}.\n".format(name, params, body)