Function espr::parser::embedded_remark

pub fn embedded_remark(input: &str) -> RawParseResult<'_, Remark>

999 embedded_remark

Extended the original definition

145 embedded_remark = `(*` [ remark_tag ] { ( not_paren_star { not_paren_star } )
                                          | lparen_then_not_lparen_star
                                          | ( `*` { `*` } )
                                          | not_rparen_star_then_rparen
                                          | embedded_remark
                                          } `*)` .

because it cannot parse the example in ISO 10303-11 correctly:

(* The `(*` symbol starts a remark, and the `*)` symbol ends it *)