Function parse_sequent 

pub fn parse_sequent(input: &str) -> Result<TwoSidedSequent, ParseError>

Parse a sequent from a string.

Examples

use lolli_parse::parse_sequent;

// Two-sided sequent
let s = parse_sequent("A, B |- C").unwrap();

// One-sided sequent (right side only)
let s = parse_sequent("|- A, B").unwrap();

Errors

Returns a ParseError if the input is not a valid sequent.