Lean.Name →
  Bool →
    optParam Bool false →
      optParam Bool false →
        optParam Bool false →
          optParam (List (Lean.TSyntax `Lean.Parser.Term.attrInstance)) [] → Lean.Elab.Command.CommandElabM Unit