Function biodivine_sketchbook::algorithms::fo_logic::parser::parse_fol_tokens

pub fn parse_fol_tokens(tokens: &[FolToken]) -> Result<FolTreeNode, String>

Parse tokens of FOL formula into an abstract syntax tree using recursive steps.