Module mshio::parsers

Parser utility functions used by this MSH parser (may be private in the future)

Functions

anything	Consumes the whole input
br	Consumes a single linebreak
count_indexed
delimited_block
eof	Parses successfully if the input is empty and returns it
parse_delimited_block
recognize_integer	Consumes an integer
sp	Consumes a single whitespaces character
take_after_parses
take_sp	Consumes all preceding whitespaces
take_till_parses
verify_or
ws	Removes preceding whitespaces, applies parser and consumes trailing whitespaces