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

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