from typing import List


def function(name: str,
             type_sig: str,
             arg_names: List[str] = [],
             body: str = '') -> str:
    """Function definition."""
    args = f'{arg_names} ' if arg_names else ''
    return f'{name} : {type_sig}\n{name} {args}=\n{body}'