[][src]Function tptp::parsers::name_list

pub fn name_list(x: &[u8]) -> Parsed<Vec<Name>>