// Generated by scripts/gen_extends.py. DO NOT EDIT.

///|
pub extend BotSession with ToJson::{to_json}