pub fn ci_downarrow_with_bounds(input: Span<'_>) -> IResult<'_, Ci>
Expand description

Parses function of identifiers Example: S↓(t,x) identifies (t,x) as identifiers.