Function modus_lib::logic::parser::literal

source · [−]

pub fn literal<'a, FT: 'a, T, S, Any>(
    term: FT, 
    space0: S
) -> impl FnMut(Span<'a>) -> IResult<Span<'a>, Literal<T>> where
    FT: FnMut(Span<'a>) -> IResult<Span<'a>, T> + Clone,
    S: FnMut(Span<'a>) -> IResult<Span<'a>, Any> + Clone,

Expand description

Parses a literal with a generic term type.