Function tptp::parsers::fof_term

pub fn fof_term<'a, E: ParseError<&'a [u8]>>(
    x: &'a [u8]
) -> IResult<&'_ [u8], FofTerm<'_>, E>