def get_int(strings: Sequence[str],
            prefix: str,
            ignoreleadingcolon: bool = False,
            precedingline: str = "") -> Optional[int]:
    """
    Fetches an integer parameter via :func:`get_string`.
    """
    return get_int_raw(get_string(strings, prefix,
                                  ignoreleadingcolon=ignoreleadingcolon,
                                  precedingline=precedingline))
def get_int ( strings : Sequence [ str ] , prefix : str , ignoreleadingcolon : bool = False , precedingline : str = "" ) -> Optional [ int ] : return get_int_raw ( get_string ( strings , prefix , ignoreleadingcolon = ignoreleadingcolon , precedingline = precedingline ) )
Fetches an integer parameter via :func:`get_string`.