{m : Type → Type} →
  [Monad m] →
    [Lean.MonadFileMap m] →
      [Lean.MonadEnv m] →
        [Lean.AddMessageContext m] →
          [Lean.MonadLog m] → [Lean.MonadOptions m] → Lean.Parser.ParserFn → Lean.StrLit → m (Lean.Syntax × Bool)