odem_rs_meta/

lib.rs

//! This crate provides procedural macros for meta-programming purposes to be
//! used in concert with the ODEM-rs library.
//!
//! It includes four main macros:
//!
//! - `until`: Parses a condition into a `ControlExpr` that can be awaited.
//! - `derive_config`: Derives the `Config` trait for a structure, supporting
//!   customizations through attributes.
//! - `derive_publisher`: Generates the `Publisher` trait by subscribing to
//!   marked attributes.
//! - `sim_main`: Wraps a user-defined `async fn` with optional arguments and
//!   return values into a synchronous wrapper-function that initializes and
//!   runs a simulation, returning its results.
//!
//! For more details, refer to the documentation of each macro.
#![doc(
	html_logo_url = "data:image/svg+xml;base64,PHN2ZyB3aWR0aD0iNDAwIiBoZWlnaHQ9IjQwMCIgeG1sbnM9Imh0dHA6Ly93d3cudzMub3JnLzIwMDAvc3ZnIiBmaWxsLXJ1bGU9ImV2ZW5vZGQiPjxjaXJjbGUgY3k9IjE5Ny41IiBjeD0iMjAwLjUiIHN0cm9rZT0iIzAwMCIgZmlsbD0iI2ZmZiIgcj0iMTUyLjUiLz48cGF0aCBkPSJNMTkxLjI0NyAzLjYyNmMtMTAuMDIuNjEtMTAuMDg1LjcxLTEyLjgzOSAxOS40NzYtMS41NDEgMTAuNDk2LTIuMTE2IDExLjU2Ni02LjczMiAxMi41MjMtMTIuNzIyIDIuNjM3LTIwLjg2MyA0Ljg0OS0yOS45ODcgOC4xNDgtMTEuNDUyIDQuMTQtMTkuOTcyIDguMjA5LTMwLjU3IDE0LjU5OS03LjIxMyA0LjM0OS01LjgzOCA0Ljc5Ny0xOC45MDgtNi4xNTgtOS4wODQtNy42MTMtMTAuMDA3LTguMDc3LTEzLjkxNi02Ljk5Mi00LjMyNSAxLjIwMS0yMi42NzUgMTguNDU5LTI1LjAwMyAyMy41MTUtMS43MjUgMy43NDQtMS40MTcgNC40MjggNy4xNDEgMTUuODYzIDguMjQzIDExLjAxNSA4LjEwMSAxMC42MjMgNS4yMzkgMTQuNDEtMTQuMzY2IDE5LjAwNy0yNS4zNjYgNDMuNjAzLTMwLjA2NiA2Ny4yMjUtMS42MDggOC4wODQuNjI1IDYuOTI2LTIxLjEwOCAxMC45NDdDMy44MTIgMTc5LjE1OCAzLjgxNiAxNzkuMTUyIDMuODMzIDE5OGMuMDIgMjAuNDcxLTIuMDg1IDE4LjQ4MyAyMy45NjcgMjIuNjQ0IDYuNDggMS4wMzUgNi40NDMuOTkyIDcuODI1IDkuMTIgMy45OTMgMjMuNDcgMTQuMTU0IDQ4LjEwMiAyNy40ODMgNjYuNjIyIDQuMDk1IDUuNjkgNC43MzcgNy4xNzQgMy44NTMgOC45MDUtLjgyNCAxLjYxMy01LjY1NSA4LjY2Ni05Ljg0NCAxNC4zNzMtNS4xMTkgNi45NzQtNS43NjYgOS41OTItMy4yNjUgMTMuMjIgMS43NjYgMi41NjMgMTMuMDg4IDEzLjc3NiAxNy4zODQgMTcuMjE3IDkuMTcxIDcuMzQ2IDkuNTAxIDcuMjk3IDIyLjU2NC0zLjM0MiAxMS43NDQtOS41NjQgMTAuMzExLTkuMTk4IDE3Ljk4OC00LjU5MiAxNy4wNzQgMTAuMjQ0IDM1LjYzNyAxNy4yOTIgNTcuNTU0IDIxLjg1MiA3LjAyNSAxLjQ2MSA3LjAyMSAxLjQ1MyA5LjY1OSAxNi4wMzEgMi4zMjMgMTIuODM0IDMuMDI0IDE0LjQzNyA2Ljc5OSAxNS41NDIgMi4yMzUuNjU0IDE5Ljg0Ny45OTggMjQuODc0LjQ4NSA3LjgwNS0uNzk2IDcuODU4LS44NzIgMTAuNzMtMTUuNDQyIDIuOTc4LTE1LjExIDIuOTYzLTE1LjA4NyAxMC43MTYtMTYuNjEyIDE5LjMwNC0zLjc5OSAzOC4xNDctMTAuODMzIDU2Ljg3NS0yMS4yMjkgMy45NTgtMi4xOTcgNy41MDEtMy45OTQgNy44NzUtMy45OTQgMS4wMDIgMCA0LjY0OSAyLjcxNCAxMi4wOTEgOSAxMi4xMzggMTAuMjUzIDEzLjU0NiAxMC4wMjEgMjguNjAyLTQuNzIzIDEyLjQ4My0xMi4yMjUgMTMuMDA4LTE0LjE3OSA2LjI1Mi0yMy4yNzctMTEuODQyLTE1Ljk0Ny0xMS42MzMtMTUuNDY0LTguNTk0LTE5Ljg3IDE3LjQwMy0yNS4yMzMgMjUuNjY1LTQ0Ljk3MSAzMC41NTYtNzIuOTkzLjk3MS01LjU2Mi40MzgtNS4zMTUgMTcuMjIzLTcuOTgzIDkuNzk3LTEuNTU3IDExLjMyMi0yLjA3IDEyLjQwOC00LjE3IDIuMTMyLTQuMTIzIDIuMzctMjguMTEzLjMyOS0zMy4yMjMtLjk4NS0yLjQ2Ni0yLjE1Ny0yLjk4OC0xMC4xOTQtNC41MzktMjEuMDU3LTQuMDY1LTE4LjU5Ni0yLjU2OS0yMC43NTEtMTIuNjIyLTQuNzIzLTIyLjAyNy0xMy43NDEtNDIuNTUzLTI2Ljg4OC02MS4yLTYuMDA3LTguNTE5LTYuMDgxLTcuNjA5IDEuMzg0LTE3LjA1NyA4LjczMy0xMS4wNTQgOS42MzMtMTIuNzIyIDguNzEyLTE2LjE0Mi0xLjMyOS00LjkzOC0yMC44Mi0yMy40ODgtMjYuMDY3LTI0LjgwOS0zLjYzOC0uOTE2LTQuNDY4LS40MjgtMTUuNDc4IDkuMTEzLTkuODgyIDguNTYyLTkuMjA5IDguMzUzLTE1LjAxNSA0LjY2Ni0xNS44NDEtMTAuMDYtMzcuMDE4LTE4LjMyMy01OC43NDktMjIuOTI1LTguNzQ1LTEuODUxLTcuNjU2LjE4OS0xMi4wNDgtMjIuNTYxLTEuNDEyLTcuMzE1LTIuNDg2LTguOC02Ljg0OC05LjQ2My0zLjcxNy0uNTY1LTE2LjE3Ni0uNzg0LTIyLjU0OC0uMzk2TTIwOS40IDU1LjIxMWM5Ni4xMTQgNi4zODEgMTU5LjYzMSA5OS42NDIgMTI5LjY2NyAxOTAuMzg5LTMzLjk1NCAxMDIuODMzLTE2NC42NzcgMTMzLjQ1LTI0MS42OTIgNTYuNjA3LTQyLjMzNS00Mi4yNDEtNTQuNTAzLTk5LjE0Mi0zMy4yMzYtMTU1LjQyOSAyMS4yMy01Ni4xODYgODMuODI3LTk1LjY0NiAxNDUuMjYxLTkxLjU2N20tMjIuNiAxMC41ODdjLTI0LjcyNiAyLjI5My00NS4zMzEgMTAuODExLTU1LjI4MSAyMi44NTFsLTEuNjEzIDEuOTUxIDcwLjE0Ny4yIDcwLjI5MS4xMjNjLjg5Ni0uNDgtNy4xOTctNy44MjMtMTIuNTQ0LTExLjM3OS0xNi40NDctMTAuOTQtNDMuOTE3LTE2LjI1OC03MS0xMy43NDZtOTUuNjMxIDI4LjU2OGMzLjc5NCAxMS43OTYgNC4wOTMgMjYuNTc2Ljc1OCAzNy4zNzQtMS4wNTQgMy40MTUtMS43MzUgMy4yNjIgNi4yMDggMS4zOWw2Ljc5OC0xLjYwMiAxLjEzNCAxLjMzNmMzLjIgMy43NyAxMS4wNzEgMTcuNDkzIDExLjA3MSAxOS4zMDIgMCAuNzUyLTQuNDUgNC44NDgtMTQuNiAxMy40NDFsLTExLjA3MiA5LjUxM2MtMS42NTMgMS41NTktMi40ODkgMS41MDQtMi45MDEtLjE4OC0uNTI4LTIuMTcyLTUuMzgxLTExLjU2Mi03Ljk5NC0xNS40NjctMy4xMzUtNC42ODUtMy4wNDktMy41MDItLjY1Ni05LjA2NSA1LjMzMS0xMi4zOSA3LjU4NC0zMS44NjYgNS4zMjMtNDZsLS43MzYtNC42LTkuNTE1LjA2NmMtMTAuNDU2LjA3Mi0xMC4yOTIuMDQ0LTkuMTExIDEuNTQ2IDMuOTIzIDQuOTg4IDUuNTYzIDIwLjA2MyAzLjM0MSAzMC43MDQtMy43MzQgMTcuODcxLTEyLjk3MSAzMS41MjEtMzIuMTM2IDQ3LjQ4OC0xMy41MTIgMTEuMjU2LTE1LjkgMTQuNTU2LTE1LjkzMyAyMi4wMTItLjAzMSA3LjAzNSAyLjMxIDEwLjUzNiAxMy4xOSAxOS43MjkgMTUuMzEgMTIuOTM0IDIzLjEwOCAyMS45NDQgMjguODYxIDMzLjM0MiA3LjY1NiAxNS4xNzEgOS4yMDkgMzMuOTUxIDMuNzMzIDQ1LjE2OS0uNzY3IDEuNTctMS4zOTQgMi45NjUtMS4zOTQgMy4xczQuMTQ0LjI0NCA5LjIxLjI0NGg5LjIxbC4zNTUtLjkzNWMxLjI0MS0zLjI2MyAyLjIzMi0xOC4wMjQgMS42NTItMjQuNjA1LS45OTQtMTEuMjk0LTIuOTUtMTguODYzLTcuMzkxLTI4LjYwOGwtMS40MS0zLjA5NSAyLjQ0Ny0zLjYzNGMyLjg3My00LjI2NiA2LjUwNy0xMS40NDcgOC4zNjItMTYuNTIzLjcyMy0xLjk4IDEuNDQ2LTMuNzU2IDEuNjA2LTMuOTQ2czIuMTUxIDEuMzQ4IDQuNDI1IDMuNDE3YTQ0NyA0NDcgMCAwIDAgOC41MzQgNy41MjdjNy4wOTMgNi4wNjggMTIuNjM1IDExLjI3MyAxMy42NzIgMTIuODM5bC45NjUgMS40NTgtMi41NDYgNS4zNTNjLTIuNzczIDUuODI2LTYuNTU3IDEyLjMxLTguMjAyIDE0LjA1Mi0xLjMzMyAxLjQxMi0xLjUyOSAxLjQwMS05LjA3Ny0uNDk3LTcuMzg2LTEuODU3LTYuODI4LTEuOTU2LTUuOCAxLjAzMSAzLjM1MyA5Ljc0NCAzLjY5OSAyNy4xMTguNzU5IDM4LjA5NC0xLjMwNSA0Ljg3NS0uOTk0IDQuNzE1IDkuMTY1LTQuNyA2Mi45OTQtNTguMzc4IDU5LjMwMy0xNTUuNTQ1LTcuODc3LTIwNy4zNTktMy43OC0yLjkxNS0zLjc4Mi0yLjkxNC0yLjQyOCAxLjI5N00xMTUuNCA5My4wNDRjLTMuMTQ1IDIuMzU1LTguMTQ4IDYuOS0xMy42IDEyLjM1Ni01NS44MTEgNTUuODUtNTAuNSAxNTAuODAyIDExLjEyMyAxOTguODMxIDQuNTE2IDMuNTIgNC42MDMgMy41MjEgMy41MzUuMDY0LTMuMjg0LTEwLjYzNS0zLjIwNS0yNS42MjUuMTk0LTM2LjM4MiAxLjI0LTMuOTI2IDEuOTA2LTMuNzE3LTUuNzQzLTEuNzk5LTcuMzk3IDEuODU1LTYuODIyIDEuOTU4LTkuNDk1LTEuNzA3LTEuNzM2LTIuMzgtNy4wNTItMTIuMDAyLTguMjEtMTQuODYyLTEuNDkyLTMuNjgyLTIuNjM3LTIuMzMgMTYuMzMtMTkuMjg2bDYuMzY0LTUuNzI1YzMuMjE3LTIuOTExIDQuMTAyLTMuMjgyIDQuMTAyLTEuNzIxIDAgMi4yNTEgNC41NTEgMTEuNTUzIDguOTg1IDE4LjM2M2wyLjYyNSA0LjAzMy0xLjk5NiA0LjA5NWMtNi43MzUgMTMuODE5LTkuNDggMzQuOTQ2LTYuNTExIDUwLjA5NmwuNzA2IDMuNiA5LjE4Ny4xMDhjMTEuMDMuMTI5IDEwLjUzMS4yNTggOC44MjgtMi4yNzMtNS4xMTctNy42MDMtNS41OTktMjIuNjc4LTEuMTUyLTM2LjAzIDUuMTY3LTE1LjUxNSAxNS4zNjQtMjguOTI4IDMzLjQxLTQzLjk1MSA5LjAxNy03LjUwNiAxMS4zNjctMTAuNTM2IDEyLjYwOC0xNi4yNTQgMS43MjYtNy45NTYtLjk2OC0xMi44OTQtMTEuODItMjEuNjY1LTI0Ljk5NS0yMC4yMDItMzUuMTc3LTM1Ljk3Mi0zNi45NTUtNTcuMjM2LS44NjQtMTAuMzM4LjI2Ni0xNy41MjQgMy42NTgtMjMuMjYuOTEyLTEuNTQzIDEuMTQyLTIuMjQ0LjgwMi0yLjQ1NC0uNzI0LS40NDgtMTguMTMuMDQ2LTE4LjQzNC41MjItLjU1Ni44NzMtMS41MjkgOC43ODgtMS43ODEgMTQuNDkzLS41OTQgMTMuMzkyIDIuMDIxIDI3LjQ3IDcuMDIyIDM3LjgxMy44NzggMS44MTQgMS40ODIgMy40OTkgMS4zNDQgMy43NDNzLTEuMTkgMS44ODQtMi4zMzYgMy42NDRjLTIuODk1IDQuNDQ1LTYuMTUgMTAuOTktNy45MjcgMTUuOTMzLS4yOTguODMxLS45NjcuMzg1LTUuNjkxLTMuNzg4LTEuMzM1LTEuMTgtNC41NjgtMy45NDUtNy4xODYtNi4xNDUtMTAuNzcyLTkuMDU1LTE0Ljk4Ni0xMy4xMDMtMTQuOTg2LTE0LjM5NCAwLTIuMTg5IDcuMzY5LTE1LjEzMiAxMC41MzYtMTguNTA2IDEuNTI2LTEuNjI1IDIuMTY5LTEuNjM0IDguNjYxLS4xMjQgNS44NTcgMS4zNjIgNS40MDIgMS41MDcgNC42MzEtMS40Ny0zLjIzMy0xMi40NzUtMi44ODgtMjUuNTA2Ljk4My0zNy4xMzkgMS4xNTMtMy40NjQuOTc4LTMuNjExLTEuODExLTEuNTIzbTM4LjMyOSA3Ljc4NGMtNC45MTkgMi40MzUtOC45MTggMTAuMTcxLTYuNTUgMTIuNjcybC44NTIuOWgxMDMuNTUxbC42ODItMS4wNDJjMS42Ni0yLjUzMy0xLjI3MS04LjU3NS01LjYwNS0xMS41NTRsLTIuMzM0LTEuNjA0LTM5LjM2Mi0uMTA2Yy0yMS42NS0uMDU4LTM5LjM2My0uMDM0LTM5LjM2My4wNTVzLjI2OS42NzUuNTk4IDEuMzA1YzEuNzQ2IDMuMzUtLjUwNyA2Ljk0Ni00LjM1MyA2Ljk0Ni0zLjQ4NiAwLTUuODE2LTMuNTQ3LTQuNTExLTYuODY4bC42MDItMS41MzJoLTEuMjY4Yy0uNjk3IDAtMi4wMi4zNzMtMi45MzkuODI4bTQyLjA3MSAyNS40MjNjLTE2LjMxMSAyLjM4Mi0zMS40MDkgNy42MjgtNDEuMSAxNC4yODEtNC4wNzMgMi43OTYtMy44ODcgMi4yNzItMi4wMzQgNS43MzEgNC43NTkgOC44ODEgMTIuMjMzIDE3LjA3NyAyNC45MyAyNy4zMzcgMTAuNTMxIDguNTA5IDEyLjc4MSAxMC45ODIgMTUuODUyIDE3LjQxOSAzLjIzOSA2Ljc5IDMuMTUyIDUuODIgMy4xNTIgMzUuMTgxdjI2bC0uOTMxIDEuODkxYy0uNTEzIDEuMDQtMS44MDMgMi42NzUtMi44NjggMy42MzItMS43NzggMS41OTgtMy4xMjYgMi4yODctMTAuNDAxIDUuMzEyLTE5Ljc3MiA4LjIyMi0zMS45OTEgMTYuMTM2LTM1LjIyMyAyMi44MTMtMi40ODEgNS4xMjUuMzcyIDEzLjE3OCA1Ljc5NSAxNi4zNTZsMS43MjEgMS4wMDkgNDUuMTU0LS4xMDZMMjQ1IDMwM2wxLjgzNy0xLjA4YzQuNzM5LTIuNzg2IDcuMjQzLTkuNjExIDUuMzkyLTE0LjY5NS0yLjMxOC02LjM2Ni0xMi4xMDktMTMuMjM1LTMxLjIyOS0yMS45MS0xMy43OTYtNi4yNTktMTUuMjg2LTcuMjExLTE3LjMxNi0xMS4wNkwyMDIuNiAyNTIuMnYtMjUuOGMwLTM2LjUxLjI2Ni0zNy4yNTkgMTguNjU4LTUyLjYwMSAxNy4yMzktMTQuMzc5IDMwLjM0Mi0zMC40NjUgMzAuMzQyLTM3LjI0OCAwLTIuMTk2LTEzLjk4MS03LjA2Mi0yNi40LTkuMTg5LTUuOTc5LTEuMDIzLTI1LjA2LTEuNzQ1LTI5LjQtMS4xMTFtLjQgMy4xNzJjLS4yMi4wODktMS45OTguNjItMy45NTEgMS4xODItOC41MjggMi40NTItMjMuNTEgMTAuMDkzLTI0LjQxNSAxMi40NTEtLjEzOS4zNjEuODg0IDIuMTYgMi41NjQgNC41MTQgNC4yNjYgNS45NzYgNC45NjggOC43MTYgMi42MjYgMTAuMjUxLTEuMzA0Ljg1NC0yLjUzNi40NDMtNC45MjEtMS42NDMtMS43ODEtMS41NTgtNi4xMDMtNi44NzktNi4xMDMtNy41MTMgMC0uMTMxLS43Mi0xLjM1Mi0xLjYtMi43MTQtMi4wMTktMy4xMjMtMi4xMDctMi43NyAxLjMtNS4xOTIgNS4zMjUtMy43ODcgMTIuMDg3LTYuNTU4IDIyLjM3Mi05LjE3IDYuMDg4LTEuNTQ2IDE0LjE5My0yLjk5MyAxMi4xMjgtMi4xNjZtLTUuMjI3IDE2LjIzOGMxLjgxOS44MjggMS42NSAzLjU2LS4yNTcgNC4xNjYtMi4xNjUuNjg3LTMuNzA1LTIuNjg5LTEuODI3LTQuMDA0IDEuMDYtLjc0My44NDctLjcyNiAyLjA4NC0uMTYybS05LjA1MyAxNS4yMTljLjY2NC42NjQuNjAzIDIuOTItLjA5NiAzLjUtLjk0MS43ODEtMi43MzEuMzQxLTMuMzg4LS44MzQtMS4xNDYtMi4wNTEgMS44MjUtNC4zMjUgMy40ODQtMi42NjZtNzkuODggMTQuNDJjNy40MDYgMTYuMTc1IDcuMTkzIDM1LjU2Ny0uNTczIDUyLjEzOS0xLjg0MSAzLjkyOC0xLjY5NSAzLjkyOS01LjIyNy0uMDUzLTMuMDE3LTMuNDAzLTExLjcwMS0xMS41Mi0xOC42LTE3LjM4Ni01LjkxOS01LjAzMy04LjYtNy42MTQtOC42LTguMjc4IDAtLjI4IDEuOTI5LTIuMDg3IDQuMjg3LTQuMDE1IDEwLjI3NS04LjQwNiAyMC42ODEtMTguMzU2IDI0LjQ4LTIzLjQwNyAyLjIzNC0yLjk3MiAyLjQzNi0yLjkyNCA0LjIzMyAxbS0xMTguNy40YzQuMjk5IDUuMDkxIDEyLjQwNyAxMi44NjkgMTkuOSAxOS4wODkgMy43NCAzLjEwNCA3LjA2MSA2LjAxOCA3LjM4IDYuNDc1LjY4Ni45ODIgMS41NDguMTIxLTExLjM5MiAxMS4zOS04LjAzMyA2Ljk5Ny0xMy4wNTIgMTEuODI0LTE2LjUxNCAxNS44OC0xLjYyMiAxLjkwMS0xLjc4OCAxLjc4Ny00LjA1NC0yLjc4Ny03LjM3NC0xNC44ODEtNy40NTItMzQuMTA2LS4yMDEtNDkuNjQ3IDIuMDctNC40MzcgMS41MTItNC4zOTEgNC44ODEtLjRtLTI0LjQ0MSA2LjAwOGMtMi4yMTMgOC44MTktMi41OTkgMjMuMDA0LS44ODggMzIuNjkyLjI5MSAxLjY1LjQ4NyAzLjA1LjQzNSAzLjExMS0uMzAzLjM1Ni0zMy40MzYtNC44MzgtMzUuMjQxLTUuNTI0LTIuMTk4LS44MzYtMi43OTYtMjIuNzcyLS42NzYtMjQuODI2LjI5Ni0uMjg4IDIuNzY3LS43NjUgMTguMzExLTMuNTM1IDE4LjE0Ni0zLjIzNCAxOC4zOTYtMy4yNiAxOC4wNTktMS45MThtMTY2LjUwMS0uNTE2YzEuMTM4LjIxNiA2LjA2OCAxLjAzMSAxMC45NTUgMS44MTEgOC41MjMgMS4zNjEgMTcuNjk0IDMuMDU0IDIwLjcxNSAzLjgyNSAzLjg0Ni45ODIgMy43NDEgMjQuNjkzLS4xMTIgMjUuMzU2LTEyLjY1OCAyLjE3OS0zNC4zODggNS40MjItMzQuNjczIDUuMTc0LS4wODUtLjA3My4xNTMtMS45NzkuNTI5LTQuMjMzIDEuNzQyLTEwLjQ1OCAxLjM5LTIzLjk1Ni0uODI2LTMxLjYyNS0uMjM5LS44MjcuMzc5LS44ODMgMy40MTItLjMwOE0yMDQgMjY0YzAgLjIyLS40MTkuNC0uOTMuNC0yLjExMyAwLTkuNjM2IDIuNjI0LTE0Ljk1NiA1LjIxNi0xMy43NjEgNi43MDctMjEuNDg1IDEzLjY3MS0yNi4yNjMgMjMuNjgxLTIuNTA0IDUuMjQ3LTYuNDA2IDUuOTAzLTguNjc0IDEuNDU4LTQuMDM4LTcuOTE1IDkuMjQ0LTIwLjA3IDMwLjAyMy0yNy40NzcgMy40ODItMS4yNDEgMTIuMjA3LTIuOTY0IDE2LjU4OS0zLjI3NWw0LjExMS0uMzQ0Yy4wNTUtLjAzMi4xLjEyMS4xLjM0MW0tMTIuNCAyMi40YzEuNzMzIDEuNzMzLjM1MiA1LjItMi4wNzIgNS4yLTEuMTU3IDAtMi43MjgtMS43ODktMi43MjgtMy4xMDYgMC0yLjQ4NCAzLjA3MS0zLjgyMyA0LjgtMi4wOTRtLTE3LjgyOSAzLjQyOWMxLjgwOSAxLjgwOC0uNjggNC41OTctMi45OTcgMy4zNTctLjg4Ny0uNDc1LTEuMDc2LTIuNzI0LS4yOTQtMy41MDYuNjgtLjY4IDIuNTQ4LS41OTUgMy4yOTEuMTQ5TTEzMi44IDMxNC44NWMyNC4xNSAyMi42NCA4NC42ODkgMjcuNDMyIDEyMC40MjEgOS41MzQgNS40NDUtMi43MjggMTQuOTExLTkuNTg4IDE1Ljk3Ni0xMS41NzlsLjQzMS0uODA1LTY5LjkxNC4wMTktNjkuOTE0LjAxOXoiIGZpbGw9IiMxNzMyNDEiLz48L3N2Zz4=",
	html_favicon_url = "data:image/svg+xml;base64,PHN2ZyB3aWR0aD0iNDAwIiBoZWlnaHQ9IjQwMCIgeG1sbnM9Imh0dHA6Ly93d3cudzMub3JnLzIwMDAvc3ZnIiBmaWxsLXJ1bGU9ImV2ZW5vZGQiPjxjaXJjbGUgY3k9IjE5Ny41IiBjeD0iMjAwLjUiIHN0cm9rZT0iIzAwMCIgZmlsbD0iI2ZmZiIgcj0iMTUyLjUiLz48cGF0aCBkPSJNMTkxLjI0NyAzLjYyNmMtMTAuMDIuNjEtMTAuMDg1LjcxLTEyLjgzOSAxOS40NzYtMS41NDEgMTAuNDk2LTIuMTE2IDExLjU2Ni02LjczMiAxMi41MjMtMTIuNzIyIDIuNjM3LTIwLjg2MyA0Ljg0OS0yOS45ODcgOC4xNDgtMTEuNDUyIDQuMTQtMTkuOTcyIDguMjA5LTMwLjU3IDE0LjU5OS03LjIxMyA0LjM0OS01LjgzOCA0Ljc5Ny0xOC45MDgtNi4xNTgtOS4wODQtNy42MTMtMTAuMDA3LTguMDc3LTEzLjkxNi02Ljk5Mi00LjMyNSAxLjIwMS0yMi42NzUgMTguNDU5LTI1LjAwMyAyMy41MTUtMS43MjUgMy43NDQtMS40MTcgNC40MjggNy4xNDEgMTUuODYzIDguMjQzIDExLjAxNSA4LjEwMSAxMC42MjMgNS4yMzkgMTQuNDEtMTQuMzY2IDE5LjAwNy0yNS4zNjYgNDMuNjAzLTMwLjA2NiA2Ny4yMjUtMS42MDggOC4wODQuNjI1IDYuOTI2LTIxLjEwOCAxMC45NDdDMy44MTIgMTc5LjE1OCAzLjgxNiAxNzkuMTUyIDMuODMzIDE5OGMuMDIgMjAuNDcxLTIuMDg1IDE4LjQ4MyAyMy45NjcgMjIuNjQ0IDYuNDggMS4wMzUgNi40NDMuOTkyIDcuODI1IDkuMTIgMy45OTMgMjMuNDcgMTQuMTU0IDQ4LjEwMiAyNy40ODMgNjYuNjIyIDQuMDk1IDUuNjkgNC43MzcgNy4xNzQgMy44NTMgOC45MDUtLjgyNCAxLjYxMy01LjY1NSA4LjY2Ni05Ljg0NCAxNC4zNzMtNS4xMTkgNi45NzQtNS43NjYgOS41OTItMy4yNjUgMTMuMjIgMS43NjYgMi41NjMgMTMuMDg4IDEzLjc3NiAxNy4zODQgMTcuMjE3IDkuMTcxIDcuMzQ2IDkuNTAxIDcuMjk3IDIyLjU2NC0zLjM0MiAxMS43NDQtOS41NjQgMTAuMzExLTkuMTk4IDE3Ljk4OC00LjU5MiAxNy4wNzQgMTAuMjQ0IDM1LjYzNyAxNy4yOTIgNTcuNTU0IDIxLjg1MiA3LjAyNSAxLjQ2MSA3LjAyMSAxLjQ1MyA5LjY1OSAxNi4wMzEgMi4zMjMgMTIuODM0IDMuMDI0IDE0LjQzNyA2Ljc5OSAxNS41NDIgMi4yMzUuNjU0IDE5Ljg0Ny45OTggMjQuODc0LjQ4NSA3LjgwNS0uNzk2IDcuODU4LS44NzIgMTAuNzMtMTUuNDQyIDIuOTc4LTE1LjExIDIuOTYzLTE1LjA4NyAxMC43MTYtMTYuNjEyIDE5LjMwNC0zLjc5OSAzOC4xNDctMTAuODMzIDU2Ljg3NS0yMS4yMjkgMy45NTgtMi4xOTcgNy41MDEtMy45OTQgNy44NzUtMy45OTQgMS4wMDIgMCA0LjY0OSAyLjcxNCAxMi4wOTEgOSAxMi4xMzggMTAuMjUzIDEzLjU0NiAxMC4wMjEgMjguNjAyLTQuNzIzIDEyLjQ4My0xMi4yMjUgMTMuMDA4LTE0LjE3OSA2LjI1Mi0yMy4yNzctMTEuODQyLTE1Ljk0Ny0xMS42MzMtMTUuNDY0LTguNTk0LTE5Ljg3IDE3LjQwMy0yNS4yMzMgMjUuNjY1LTQ0Ljk3MSAzMC41NTYtNzIuOTkzLjk3MS01LjU2Mi40MzgtNS4zMTUgMTcuMjIzLTcuOTgzIDkuNzk3LTEuNTU3IDExLjMyMi0yLjA3IDEyLjQwOC00LjE3IDIuMTMyLTQuMTIzIDIuMzctMjguMTEzLjMyOS0zMy4yMjMtLjk4NS0yLjQ2Ni0yLjE1Ny0yLjk4OC0xMC4xOTQtNC41MzktMjEuMDU3LTQuMDY1LTE4LjU5Ni0yLjU2OS0yMC43NTEtMTIuNjIyLTQuNzIzLTIyLjAyNy0xMy43NDEtNDIuNTUzLTI2Ljg4OC02MS4yLTYuMDA3LTguNTE5LTYuMDgxLTcuNjA5IDEuMzg0LTE3LjA1NyA4LjczMy0xMS4wNTQgOS42MzMtMTIuNzIyIDguNzEyLTE2LjE0Mi0xLjMyOS00LjkzOC0yMC44Mi0yMy40ODgtMjYuMDY3LTI0LjgwOS0zLjYzOC0uOTE2LTQuNDY4LS40MjgtMTUuNDc4IDkuMTEzLTkuODgyIDguNTYyLTkuMjA5IDguMzUzLTE1LjAxNSA0LjY2Ni0xNS44NDEtMTAuMDYtMzcuMDE4LTE4LjMyMy01OC43NDktMjIuOTI1LTguNzQ1LTEuODUxLTcuNjU2LjE4OS0xMi4wNDgtMjIuNTYxLTEuNDEyLTcuMzE1LTIuNDg2LTguOC02Ljg0OC05LjQ2My0zLjcxNy0uNTY1LTE2LjE3Ni0uNzg0LTIyLjU0OC0uMzk2TTIwOS40IDU1LjIxMWM5Ni4xMTQgNi4zODEgMTU5LjYzMSA5OS42NDIgMTI5LjY2NyAxOTAuMzg5LTMzLjk1NCAxMDIuODMzLTE2NC42NzcgMTMzLjQ1LTI0MS42OTIgNTYuNjA3LTQyLjMzNS00Mi4yNDEtNTQuNTAzLTk5LjE0Mi0zMy4yMzYtMTU1LjQyOSAyMS4yMy01Ni4xODYgODMuODI3LTk1LjY0NiAxNDUuMjYxLTkxLjU2N20tMjIuNiAxMC41ODdjLTI0LjcyNiAyLjI5My00NS4zMzEgMTAuODExLTU1LjI4MSAyMi44NTFsLTEuNjEzIDEuOTUxIDcwLjE0Ny4yIDcwLjI5MS4xMjNjLjg5Ni0uNDgtNy4xOTctNy44MjMtMTIuNTQ0LTExLjM3OS0xNi40NDctMTAuOTQtNDMuOTE3LTE2LjI1OC03MS0xMy43NDZtOTUuNjMxIDI4LjU2OGMzLjc5NCAxMS43OTYgNC4wOTMgMjYuNTc2Ljc1OCAzNy4zNzQtMS4wNTQgMy40MTUtMS43MzUgMy4yNjIgNi4yMDggMS4zOWw2Ljc5OC0xLjYwMiAxLjEzNCAxLjMzNmMzLjIgMy43NyAxMS4wNzEgMTcuNDkzIDExLjA3MSAxOS4zMDIgMCAuNzUyLTQuNDUgNC44NDgtMTQuNiAxMy40NDFsLTExLjA3MiA5LjUxM2MtMS42NTMgMS41NTktMi40ODkgMS41MDQtMi45MDEtLjE4OC0uNTI4LTIuMTcyLTUuMzgxLTExLjU2Mi03Ljk5NC0xNS40NjctMy4xMzUtNC42ODUtMy4wNDktMy41MDItLjY1Ni05LjA2NSA1LjMzMS0xMi4zOSA3LjU4NC0zMS44NjYgNS4zMjMtNDZsLS43MzYtNC42LTkuNTE1LjA2NmMtMTAuNDU2LjA3Mi0xMC4yOTIuMDQ0LTkuMTExIDEuNTQ2IDMuOTIzIDQuOTg4IDUuNTYzIDIwLjA2MyAzLjM0MSAzMC43MDQtMy43MzQgMTcuODcxLTEyLjk3MSAzMS41MjEtMzIuMTM2IDQ3LjQ4OC0xMy41MTIgMTEuMjU2LTE1LjkgMTQuNTU2LTE1LjkzMyAyMi4wMTItLjAzMSA3LjAzNSAyLjMxIDEwLjUzNiAxMy4xOSAxOS43MjkgMTUuMzEgMTIuOTM0IDIzLjEwOCAyMS45NDQgMjguODYxIDMzLjM0MiA3LjY1NiAxNS4xNzEgOS4yMDkgMzMuOTUxIDMuNzMzIDQ1LjE2OS0uNzY3IDEuNTctMS4zOTQgMi45NjUtMS4zOTQgMy4xczQuMTQ0LjI0NCA5LjIxLjI0NGg5LjIxbC4zNTUtLjkzNWMxLjI0MS0zLjI2MyAyLjIzMi0xOC4wMjQgMS42NTItMjQuNjA1LS45OTQtMTEuMjk0LTIuOTUtMTguODYzLTcuMzkxLTI4LjYwOGwtMS40MS0zLjA5NSAyLjQ0Ny0zLjYzNGMyLjg3My00LjI2NiA2LjUwNy0xMS40NDcgOC4zNjItMTYuNTIzLjcyMy0xLjk4IDEuNDQ2LTMuNzU2IDEuNjA2LTMuOTQ2czIuMTUxIDEuMzQ4IDQuNDI1IDMuNDE3YTQ0NyA0NDcgMCAwIDAgOC41MzQgNy41MjdjNy4wOTMgNi4wNjggMTIuNjM1IDExLjI3MyAxMy42NzIgMTIuODM5bC45NjUgMS40NTgtMi41NDYgNS4zNTNjLTIuNzczIDUuODI2LTYuNTU3IDEyLjMxLTguMjAyIDE0LjA1Mi0xLjMzMyAxLjQxMi0xLjUyOSAxLjQwMS05LjA3Ny0uNDk3LTcuMzg2LTEuODU3LTYuODI4LTEuOTU2LTUuOCAxLjAzMSAzLjM1MyA5Ljc0NCAzLjY5OSAyNy4xMTguNzU5IDM4LjA5NC0xLjMwNSA0Ljg3NS0uOTk0IDQuNzE1IDkuMTY1LTQuNyA2Mi45OTQtNTguMzc4IDU5LjMwMy0xNTUuNTQ1LTcuODc3LTIwNy4zNTktMy43OC0yLjkxNS0zLjc4Mi0yLjkxNC0yLjQyOCAxLjI5N00xMTUuNCA5My4wNDRjLTMuMTQ1IDIuMzU1LTguMTQ4IDYuOS0xMy42IDEyLjM1Ni01NS44MTEgNTUuODUtNTAuNSAxNTAuODAyIDExLjEyMyAxOTguODMxIDQuNTE2IDMuNTIgNC42MDMgMy41MjEgMy41MzUuMDY0LTMuMjg0LTEwLjYzNS0zLjIwNS0yNS42MjUuMTk0LTM2LjM4MiAxLjI0LTMuOTI2IDEuOTA2LTMuNzE3LTUuNzQzLTEuNzk5LTcuMzk3IDEuODU1LTYuODIyIDEuOTU4LTkuNDk1LTEuNzA3LTEuNzM2LTIuMzgtNy4wNTItMTIuMDAyLTguMjEtMTQuODYyLTEuNDkyLTMuNjgyLTIuNjM3LTIuMzMgMTYuMzMtMTkuMjg2bDYuMzY0LTUuNzI1YzMuMjE3LTIuOTExIDQuMTAyLTMuMjgyIDQuMTAyLTEuNzIxIDAgMi4yNTEgNC41NTEgMTEuNTUzIDguOTg1IDE4LjM2M2wyLjYyNSA0LjAzMy0xLjk5NiA0LjA5NWMtNi43MzUgMTMuODE5LTkuNDggMzQuOTQ2LTYuNTExIDUwLjA5NmwuNzA2IDMuNiA5LjE4Ny4xMDhjMTEuMDMuMTI5IDEwLjUzMS4yNTggOC44MjgtMi4yNzMtNS4xMTctNy42MDMtNS41OTktMjIuNjc4LTEuMTUyLTM2LjAzIDUuMTY3LTE1LjUxNSAxNS4zNjQtMjguOTI4IDMzLjQxLTQzLjk1MSA5LjAxNy03LjUwNiAxMS4zNjctMTAuNTM2IDEyLjYwOC0xNi4yNTQgMS43MjYtNy45NTYtLjk2OC0xMi44OTQtMTEuODItMjEuNjY1LTI0Ljk5NS0yMC4yMDItMzUuMTc3LTM1Ljk3Mi0zNi45NTUtNTcuMjM2LS44NjQtMTAuMzM4LjI2Ni0xNy41MjQgMy42NTgtMjMuMjYuOTEyLTEuNTQzIDEuMTQyLTIuMjQ0LjgwMi0yLjQ1NC0uNzI0LS40NDgtMTguMTMuMDQ2LTE4LjQzNC41MjItLjU1Ni44NzMtMS41MjkgOC43ODgtMS43ODEgMTQuNDkzLS41OTQgMTMuMzkyIDIuMDIxIDI3LjQ3IDcuMDIyIDM3LjgxMy44NzggMS44MTQgMS40ODIgMy40OTkgMS4zNDQgMy43NDNzLTEuMTkgMS44ODQtMi4zMzYgMy42NDRjLTIuODk1IDQuNDQ1LTYuMTUgMTAuOTktNy45MjcgMTUuOTMzLS4yOTguODMxLS45NjcuMzg1LTUuNjkxLTMuNzg4LTEuMzM1LTEuMTgtNC41NjgtMy45NDUtNy4xODYtNi4xNDUtMTAuNzcyLTkuMDU1LTE0Ljk4Ni0xMy4xMDMtMTQuOTg2LTE0LjM5NCAwLTIuMTg5IDcuMzY5LTE1LjEzMiAxMC41MzYtMTguNTA2IDEuNTI2LTEuNjI1IDIuMTY5LTEuNjM0IDguNjYxLS4xMjQgNS44NTcgMS4zNjIgNS40MDIgMS41MDcgNC42MzEtMS40Ny0zLjIzMy0xMi40NzUtMi44ODgtMjUuNTA2Ljk4My0zNy4xMzkgMS4xNTMtMy40NjQuOTc4LTMuNjExLTEuODExLTEuNTIzbTM4LjMyOSA3Ljc4NGMtNC45MTkgMi40MzUtOC45MTggMTAuMTcxLTYuNTUgMTIuNjcybC44NTIuOWgxMDMuNTUxbC42ODItMS4wNDJjMS42Ni0yLjUzMy0xLjI3MS04LjU3NS01LjYwNS0xMS41NTRsLTIuMzM0LTEuNjA0LTM5LjM2Mi0uMTA2Yy0yMS42NS0uMDU4LTM5LjM2My0uMDM0LTM5LjM2My4wNTVzLjI2OS42NzUuNTk4IDEuMzA1YzEuNzQ2IDMuMzUtLjUwNyA2Ljk0Ni00LjM1MyA2Ljk0Ni0zLjQ4NiAwLTUuODE2LTMuNTQ3LTQuNTExLTYuODY4bC42MDItMS41MzJoLTEuMjY4Yy0uNjk3IDAtMi4wMi4zNzMtMi45MzkuODI4bTQyLjA3MSAyNS40MjNjLTE2LjMxMSAyLjM4Mi0zMS40MDkgNy42MjgtNDEuMSAxNC4yODEtNC4wNzMgMi43OTYtMy44ODcgMi4yNzItMi4wMzQgNS43MzEgNC43NTkgOC44ODEgMTIuMjMzIDE3LjA3NyAyNC45MyAyNy4zMzcgMTAuNTMxIDguNTA5IDEyLjc4MSAxMC45ODIgMTUuODUyIDE3LjQxOSAzLjIzOSA2Ljc5IDMuMTUyIDUuODIgMy4xNTIgMzUuMTgxdjI2bC0uOTMxIDEuODkxYy0uNTEzIDEuMDQtMS44MDMgMi42NzUtMi44NjggMy42MzItMS43NzggMS41OTgtMy4xMjYgMi4yODctMTAuNDAxIDUuMzEyLTE5Ljc3MiA4LjIyMi0zMS45OTEgMTYuMTM2LTM1LjIyMyAyMi44MTMtMi40ODEgNS4xMjUuMzcyIDEzLjE3OCA1Ljc5NSAxNi4zNTZsMS43MjEgMS4wMDkgNDUuMTU0LS4xMDZMMjQ1IDMwM2wxLjgzNy0xLjA4YzQuNzM5LTIuNzg2IDcuMjQzLTkuNjExIDUuMzkyLTE0LjY5NS0yLjMxOC02LjM2Ni0xMi4xMDktMTMuMjM1LTMxLjIyOS0yMS45MS0xMy43OTYtNi4yNTktMTUuMjg2LTcuMjExLTE3LjMxNi0xMS4wNkwyMDIuNiAyNTIuMnYtMjUuOGMwLTM2LjUxLjI2Ni0zNy4yNTkgMTguNjU4LTUyLjYwMSAxNy4yMzktMTQuMzc5IDMwLjM0Mi0zMC40NjUgMzAuMzQyLTM3LjI0OCAwLTIuMTk2LTEzLjk4MS03LjA2Mi0yNi40LTkuMTg5LTUuOTc5LTEuMDIzLTI1LjA2LTEuNzQ1LTI5LjQtMS4xMTFtLjQgMy4xNzJjLS4yMi4wODktMS45OTguNjItMy45NTEgMS4xODItOC41MjggMi40NTItMjMuNTEgMTAuMDkzLTI0LjQxNSAxMi40NTEtLjEzOS4zNjEuODg0IDIuMTYgMi41NjQgNC41MTQgNC4yNjYgNS45NzYgNC45NjggOC43MTYgMi42MjYgMTAuMjUxLTEuMzA0Ljg1NC0yLjUzNi40NDMtNC45MjEtMS42NDMtMS43ODEtMS41NTgtNi4xMDMtNi44NzktNi4xMDMtNy41MTMgMC0uMTMxLS43Mi0xLjM1Mi0xLjYtMi43MTQtMi4wMTktMy4xMjMtMi4xMDctMi43NyAxLjMtNS4xOTIgNS4zMjUtMy43ODcgMTIuMDg3LTYuNTU4IDIyLjM3Mi05LjE3IDYuMDg4LTEuNTQ2IDE0LjE5My0yLjk5MyAxMi4xMjgtMi4xNjZtLTUuMjI3IDE2LjIzOGMxLjgxOS44MjggMS42NSAzLjU2LS4yNTcgNC4xNjYtMi4xNjUuNjg3LTMuNzA1LTIuNjg5LTEuODI3LTQuMDA0IDEuMDYtLjc0My44NDctLjcyNiAyLjA4NC0uMTYybS05LjA1MyAxNS4yMTljLjY2NC42NjQuNjAzIDIuOTItLjA5NiAzLjUtLjk0MS43ODEtMi43MzEuMzQxLTMuMzg4LS44MzQtMS4xNDYtMi4wNTEgMS44MjUtNC4zMjUgMy40ODQtMi42NjZtNzkuODggMTQuNDJjNy40MDYgMTYuMTc1IDcuMTkzIDM1LjU2Ny0uNTczIDUyLjEzOS0xLjg0MSAzLjkyOC0xLjY5NSAzLjkyOS01LjIyNy0uMDUzLTMuMDE3LTMuNDAzLTExLjcwMS0xMS41Mi0xOC42LTE3LjM4Ni01LjkxOS01LjAzMy04LjYtNy42MTQtOC42LTguMjc4IDAtLjI4IDEuOTI5LTIuMDg3IDQuMjg3LTQuMDE1IDEwLjI3NS04LjQwNiAyMC42ODEtMTguMzU2IDI0LjQ4LTIzLjQwNyAyLjIzNC0yLjk3MiAyLjQzNi0yLjkyNCA0LjIzMyAxbS0xMTguNy40YzQuMjk5IDUuMDkxIDEyLjQwNyAxMi44NjkgMTkuOSAxOS4wODkgMy43NCAzLjEwNCA3LjA2MSA2LjAxOCA3LjM4IDYuNDc1LjY4Ni45ODIgMS41NDguMTIxLTExLjM5MiAxMS4zOS04LjAzMyA2Ljk5Ny0xMy4wNTIgMTEuODI0LTE2LjUxNCAxNS44OC0xLjYyMiAxLjkwMS0xLjc4OCAxLjc4Ny00LjA1NC0yLjc4Ny03LjM3NC0xNC44ODEtNy40NTItMzQuMTA2LS4yMDEtNDkuNjQ3IDIuMDctNC40MzcgMS41MTItNC4zOTEgNC44ODEtLjRtLTI0LjQ0MSA2LjAwOGMtMi4yMTMgOC44MTktMi41OTkgMjMuMDA0LS44ODggMzIuNjkyLjI5MSAxLjY1LjQ4NyAzLjA1LjQzNSAzLjExMS0uMzAzLjM1Ni0zMy40MzYtNC44MzgtMzUuMjQxLTUuNTI0LTIuMTk4LS44MzYtMi43OTYtMjIuNzcyLS42NzYtMjQuODI2LjI5Ni0uMjg4IDIuNzY3LS43NjUgMTguMzExLTMuNTM1IDE4LjE0Ni0zLjIzNCAxOC4zOTYtMy4yNiAxOC4wNTktMS45MThtMTY2LjUwMS0uNTE2YzEuMTM4LjIxNiA2LjA2OCAxLjAzMSAxMC45NTUgMS44MTEgOC41MjMgMS4zNjEgMTcuNjk0IDMuMDU0IDIwLjcxNSAzLjgyNSAzLjg0Ni45ODIgMy43NDEgMjQuNjkzLS4xMTIgMjUuMzU2LTEyLjY1OCAyLjE3OS0zNC4zODggNS40MjItMzQuNjczIDUuMTc0LS4wODUtLjA3My4xNTMtMS45NzkuNTI5LTQuMjMzIDEuNzQyLTEwLjQ1OCAxLjM5LTIzLjk1Ni0uODI2LTMxLjYyNS0uMjM5LS44MjcuMzc5LS44ODMgMy40MTItLjMwOE0yMDQgMjY0YzAgLjIyLS40MTkuNC0uOTMuNC0yLjExMyAwLTkuNjM2IDIuNjI0LTE0Ljk1NiA1LjIxNi0xMy43NjEgNi43MDctMjEuNDg1IDEzLjY3MS0yNi4yNjMgMjMuNjgxLTIuNTA0IDUuMjQ3LTYuNDA2IDUuOTAzLTguNjc0IDEuNDU4LTQuMDM4LTcuOTE1IDkuMjQ0LTIwLjA3IDMwLjAyMy0yNy40NzcgMy40ODItMS4yNDEgMTIuMjA3LTIuOTY0IDE2LjU4OS0zLjI3NWw0LjExMS0uMzQ0Yy4wNTUtLjAzMi4xLjEyMS4xLjM0MW0tMTIuNCAyMi40YzEuNzMzIDEuNzMzLjM1MiA1LjItMi4wNzIgNS4yLTEuMTU3IDAtMi43MjgtMS43ODktMi43MjgtMy4xMDYgMC0yLjQ4NCAzLjA3MS0zLjgyMyA0LjgtMi4wOTRtLTE3LjgyOSAzLjQyOWMxLjgwOSAxLjgwOC0uNjggNC41OTctMi45OTcgMy4zNTctLjg4Ny0uNDc1LTEuMDc2LTIuNzI0LS4yOTQtMy41MDYuNjgtLjY4IDIuNTQ4LS41OTUgMy4yOTEuMTQ5TTEzMi44IDMxNC44NWMyNC4xNSAyMi42NCA4NC42ODkgMjcuNDMyIDEyMC40MjEgOS41MzQgNS40NDUtMi43MjggMTQuOTExLTkuNTg4IDE1Ljk3Ni0xMS41NzlsLjQzMS0uODA1LTY5LjkxNC4wMTktNjkuOTE0LjAxOXoiIGZpbGw9IiMxNzMyNDEiLz48L3N2Zz4="
)]
#![cfg_attr(docsrs, feature(doc_cfg))]
#![warn(missing_docs)]

use proc_macro::TokenStream;
use syn::{DeriveInput, Expr, ItemFn, parse_macro_input};

mod config;
mod control;
mod publisher;
mod sim_main;

/// Creates a `ControlExpr` from a boolean expression, allowing asynchronous
/// code to efficiently await a specific condition.
///
/// This macro is a cornerstone of the `odem-rs` reactive system. It parses the
/// provided expression, identifies parts of it that refer to reactive data
/// sources (termed "control variables"), and constructs a `ControlExpr`.
///
/// `ControlExpr` implements [`IntoFuture`], meaning its result can be directly
/// `.await`ed. The future will be ready when the boolean expression evaluates
/// to `true`. The underlying mechanism uses the [`Waker`] associated with the
/// current process to re-evaluate the expression only when one of its
/// identified control variables changes.
///
/// # What are *Control Variables*?
///
/// A "control variable" is a part of the expression that the `until!`
/// macro identifies as a reactive data source. Specifically, any expression
/// segment that implements the `Publisher` trait is treated as a control
/// variable. This means it can be subscribed to, and it will notify subscribers
/// (like the `ControlExpr`) when its underlying value or state changes.
///
/// The macro identifies control variables based on their structure when they
/// form a path to a `Publisher`:
/// * **Paths:** Simple identifiers (e.g., `my_control_var`) or qualified paths
///   (e.g., `my_module::reactive_data`) that resolve to a `Publisher`.
/// * **Field Accesses:** Accessing fields of a struct that ultimately yield a
///   `Publisher` (e.g., `data_struct.control_field`).
/// * **Index Operations:** Indexing into collections where the element itself
///   is a `Publisher` (e.g., `control_array[0]`).
///
/// These can be combined. For example, `config.settings[exp_no].duration`
/// would be treated as a single control variable if this entire expression
/// resolves to a type that implements `Publisher`.
///
/// A common reactive primitive is `Control<T>`, which implements `Publisher`
/// and provides a `Cell`-like API for interior mutability.
///
/// ## What is NOT a Control Variable (in terms of triggering updates)?
///
/// * **Literals:** Constants like `true`, `false`, `0`, `"hello"`.
/// * **Non-Reactive Variables:** Variables in the lexical context of the
///   closure that do not implement `Publisher`. Their values at the time of
///   evaluation are used.
/// * **Local Variables:** Variables declared and used inside the closure.
/// * **Expressions within Index Calculations:** If an index itself is an
///   expression (e.g., `my_array[some_offset + 1]`), variables used within that
///   index calculation (like `some_offset`) are not treated as control
///   variables for the outer expression `my_array[...]`. This is to prevent
///   dynamic sets of dependencies.
/// * **Function/Method Call Results:** The results of function or method calls
///   are not treated as control variables.
///
/// # How It Works (Transformation)
///
/// The macro transforms the input expression (e.g., `my_control > 10 && another_control.is_full()`)
/// into roughly the following structure:
///
/// ```ignore
/// ControlExpr::new(
///     // Tuple of references to identified control variables (Publishers)
///     (&my_control, &another_control),
///     |args| { // Closure taking current values/states from control variables
///         // Original expression, rewritten:
///         // If `my_control` implements `Expr` (e.g., `Control<T: Copy>`),
///         // `my_control` is rewritten as `args.0.get() > 10` (conceptual).
///         // If `another_control` is just a `Publisher`, its state is used directly.
///         // The macro uses autoref specialization to handle these cases.
///         (args.0 /* .get() if Expr */) > 10 && (args.1 /* .get() if Expr */).is_full()
///     }
/// )
/// ```
///
/// ## `Expr` Trait Convenience
///
/// If a control variable (which implements `Publisher`) also implements the
/// `Expr` trait, the macro provides a convenience:
/// * For types like `Control<T>` where `T: Copy`, `Expr` is implemented.
/// * Inside the generated closure, the macro will automatically call the
///   `Expr::get()` method to retrieve the inner value. This means users can
///   write `my_control_var > 0` instead of `my_control_var.get() > 0` in the
///   expression passed to the macro.
///
/// ## Error Handling
///
/// * **Non-`Publisher` External Variables:** If a non-local identifier (a path
///   that is not a simple local variable) used in the expression does not
///   resolve to a type implementing `Publisher`, it is treated like a local
///   variable. If it does neither implement `Publisher` nor `Expr`, a
///   compile-time error will be issued. All external dependencies that are
///   meant to drive the reactivity must be `Publisher`s.
///
/// The specialized handling of different expression types (e.g., a direct
/// `Publisher` versus a `Publisher + Expr`) leverages an autoref specialization
/// technique to provide a seamless experience.
///
/// # Why Control Variables in Index Calculations Are Not Supported
///
/// Allowing variables within index expressions (e.g., `slice[index_variable]`)
/// to be control variables themselves would imply that the set of *other*
/// control variables the `ControlExpr` depends on could change dynamically if
/// `index_variable` changes. For example, if `index_variable` changed from `0`
/// to `1`, the expression would effectively switch its dependency from
/// `slice[0]` to `slice[1]`.
///
/// Supporting such dynamic dependencies would:
/// 1. Significantly complicate the dispatch and notification mechanisms.
/// 2. Prevent optimizations related to a fixed set of dependencies.
/// 3. Make reasoning about the reactive flow more difficult.
///
/// Therefore, expressions within an index are evaluated when the `ControlExpr`
/// is created or re-evaluated, but variables used solely within them do not
/// register as separate control variables for the overall expression.
///
/// # Limitations
///
/// * **Maximum Control Variables:** The macro currently supports a maximum of
///   12 distinct control variables within a single `until!` invocation.
///   If more are detected, a compile-time error will occur.
/// * **Complexity:** While powerful, overuse, or overly complex expressions
///   within `until!` can make the reactive logic harder to follow.
///
/// # Examples
///
/// **1. Awaiting a simple `Control<T>` variable change:**
///
/// ```
/// # use odem_rs::prelude::*;
/// # async fn sim_main(sim: &Sim) {
/// let i: Control<i32> = Control::new(0);
///
/// sim.fork(async {
///     // In another task or later in the code:
///     i.set(1);
/// }).and(async {
///     // `i.get()` is implicitly called due to `Expr` trait
///     until!(i > 0).await;
///     println!("i is now greater than 0!");
/// }).await;
/// # }
/// ```
/// *Actual expansion:*
/// `ControlExpr::new((&i,), |args| args.0.get() > 0).await;`
///
/// **2. Awaiting a condition involving multiple `Control<bool>` variables:**
///
/// ```
/// # use odem_rs::prelude::*;
/// # async fn sim_main(sim: &Sim) {
/// let is_ready = Control::new(false);
/// let has_permission = Control::new(false);
///
/// sim.fork(async {
///     sim.advance(1.0).await;
///     is_ready.set(true);
/// }).and(async {
///     sim.advance(2.0).await;
///     has_permission.set(true);
/// }).and(async {
///     until!(is_ready && has_permission).await;
///     println!("Both conditions met!");
/// }).await;
/// # }
/// ```
/// *Actual expansion:*
/// `ControlExpr::new((&is_ready, &has_permission), |args| args.0.get() && args.1.get()).await;`
///
/// **3. Using complex paths to `Control<T>` fields:**
///
/// ```
/// # use odem_rs::prelude::*;
/// # struct AppConfig { settings: Settings }
/// # struct Settings { font_size: Control<i32>, dark_mode: Control<bool> }
/// # async fn sim_main(sim: &Sim) {
/// let app_config = AppConfig {
///     settings: Settings {
///         font_size: Control::new(12),
///         dark_mode: Control::new(false),
///     }
/// };
/// let min_font_size = 10; // Local non-control variable
///
/// // Later...
///
/// until!(app_config.settings.font_size > min_font_size && app_config.settings.dark_mode).await;
/// println!("Font size is adequate and dark mode is enabled!");
/// # }
/// ```
///
/// **4. Interaction with local, non-control variables:**
///
/// ```
/// # use odem_rs::prelude::*;
/// # async fn sim_main(sim: &Sim) {
/// let val: Control<i32> = Control::new(5);
/// let local_modifier = 2; // Not a Publisher
/// let enabled_flag = true;  // Not a Publisher
///
/// until!(val * local_modifier > 10 && enabled_flag).await;
/// println!("Condition with local variables met!");
/// # }
/// ```
/// Here, `val` is the control variable. The closure captures 'local_modifier'
/// and 'enabled_flag'. Changes to them after `ControlExpr` creation
/// won't trigger re-evaluation unless `val` also changes.
///
/// **5. Usage in an async function:**
///
/// ```
/// # use odem_rs::prelude::*;
/// async fn wait_for_signal(signal_strength: &Control<u32>) {
///     // The current task will sleep until signal_strength.get() is 5 or greater.
///     until!(signal_strength >= 5).await;
/// }
/// ```
///
/// [`Waker`]: core::task::Waker
#[proc_macro]
pub fn until(input: TokenStream) -> TokenStream {
	match odem_rs_crate("odem-rs-sync") {
		Ok(sync) => control::control_expr_impl(parse_macro_input!(input as Expr), sync),
		Err(msg) => msg,
	}
	.into()
}

/// Derives the `Config`-trait for a structure.
///
/// The behavior of the derived `Config` implementation can be customized using
/// attributes at both the struct level and the field level.
///
/// ### Struct-Level Attributes: `#[time(...)]` and `#[rank(...)]`
///
/// These attributes can be applied to the struct definition to specify the
/// `Config::Time` and `Config::Rank` associated types and their default initial
/// values.
///
/// The following syntaxes are supported for `#[time(...)]` (and analogously for
/// `#[rank(...)]`):
///
/// 1.  **`#[time = "MyTimeType"]`**:
///     * Sets `Config::Time` to `MyTimeType`.
///     * The default time value (returned by `default_time()`) will be
///       `MyTimeType::default()`.
///     * `MyTimeType` must be a valid path to a type, enclosed in quotes.
///
/// 2.  **`#[time(MyTimeType)]`**:
///     * Sets `Config::Time` to `MyTimeType`.
///     * The default time value will be `MyTimeType::default()`.
///
/// 3.  **`#[time(MyTimeType = expression)]`**:
///     * Sets `Config::Time` to `MyTimeType`.
///     * The default time value will be the result of evaluating `expression`.
///       `expression` should be a valid Rust expression that yields a value of
///       `MyTimeType`.
///
/// If no struct-level `#[time]` attribute is provided, `Config::Time` defaults
/// to `f64`, and `default_time()` is `0.0`. For `rank`, the default type is
/// `()`.
///
/// ### Field-Level Attributes: `#[time]` and `#[rank]`
///
/// If a field within the struct is annotated with `#[time]` (or `#[rank]`):
///
/// * The **type** of that field becomes the `Config::Time` (or `Config::Rank`)
///   associated type.
/// * The **value** of that field becomes the value returned by `default_time()`
///   (or `default_rank()`).
///
/// If multiple fields are annotated with `#[time]` (or `#[rank]`), the derive
/// macro will use the type and value from the field that appears last in the
/// struct definition.
///
/// ### `Config::Data`
///
/// The `Config::Data` associated type is always set to `Self`.
/// The `global_data()` method returns a reference to `self`.
///
/// # Examples
///
/// **1. Configuration with default settings:**
///
/// ```
/// # use odem_rs::prelude::*;
/// #[derive(Config)]
/// struct ModelConfig;
///
/// async fn sim_main(sim: &Sim<ModelConfig>) {
///     // Config::Time will be the default (f64)
///     // Config::Rank will be the default (())
///     // Config::Data will be ModelConfig
/// }
/// ```
///
/// **2. Configuration with user-defined `Data` (implicit):**
///
/// The struct itself becomes the `Data`.
///
/// ```
/// # use odem_rs::prelude::*;
/// #[derive(Config)]
/// struct ExperimentData {
///     participant_id: String,
///     trial_count: u32,
/// }
///
/// async fn sim_main(sim: &Sim<ExperimentData>) {
///     // Config::Time: default
///     // Config::Rank: default
///     println!("Data: Participant {}, Trials {}",
///              sim.global().participant_id,
///              sim.global().trial_count);
/// }
/// ```
///
/// **3. Configuration with `Time` and `Rank` specified by field attributes:**
///
/// ```
/// # use odem_rs::prelude::*;
/// #[derive(Config)]
/// struct TimedRankedConfig {
///     // The simulator uses the type of `model_time` as Config::Time.
///     // The value of `model_time` is used by `default_time()`.
///     #[time]
///     model_time: i32,
///
///     // The simulator uses the type of `process_rank` as Config::Rank.
///     // The value of `process_rank` is used by `default_rank()`.
///     #[rank]
///     process_rank: u8,
/// }
///
/// async fn sim_main(sim: &Sim<TimedRankedConfig>) {
///     // Config::Time is i32, default_time() returns self.model_time
///     // Config::Rank is u8, default_rank() returns self.process_rank
/// }
/// ```
///
/// **4. Configuration with `Time` and `Rank` types specified by struct-level attributes:**
///
/// ```
/// # use odem_rs::prelude::*;
/// #[derive(Config)]
/// #[time = "Time<f64>"]
/// #[rank(u16)]
/// struct CustomTypedConfig {
///     setting_value: i32,
/// }
///
/// async fn sim_main(sim: &Sim<CustomTypedConfig>) {
///     // Config::Time is Time<f64>
///     // Config::Rank is u16
/// }
/// ```
///
/// **5. Configuration with `Time` and `Rank` types and specific default values via struct-level attributes:**
///
/// ```
/// # use odem_rs::prelude::*;
/// #[derive(Config)]
/// #[time(Time<f64> = hour::new(8.0))]
/// #[rank(u8 = 100)]
/// struct ExplicitDefaultsConfig {
///     max_iterations: u32,
/// }
///
/// async fn sim_main(sim: &Sim<ExplicitDefaultsConfig>) {
///     // Config::Time is Time<f64>, initial time is hour::new(8.0)
///     // Config::Rank is u8, default rank is 100
/// }
/// ```
///
/// **6. Overriding struct-level type with a field-level attribute:**
///
/// Field-level attributes take precedence for determining both the type and the
/// default value.
///
/// ```
/// # use odem_rs::prelude::*;
/// #[derive(Config)]
/// #[time = "u64"] // Suggests u64, but the field below overrides.
/// struct FieldOverrideConfig {
///     #[time]
///     model_time: f64,
///     some_other_data: bool,
/// }
///
/// async fn sim_main(sim: &Sim<FieldOverrideConfig>) {
///     // Config::Time is f64 due to the #[time] on `model_time`.
///     // default_time() will return the value of `sim.global().model_time`.
/// }
/// ```
#[proc_macro_derive(Config, attributes(time, rank))]
pub fn derive_config(input: TokenStream) -> TokenStream {
	match odem_rs_crate("odem-rs-core") {
		Ok(core) => config::config_derive_impl(parse_macro_input!(input as DeriveInput), core),
		Err(msg) => msg,
	}
	.into()
}

/// Derives the `Publisher`-trait for a structure.
///
/// The macro allows the attributes of a structure to be annotated with
/// `#[subscribe]` and generates an implementation of `Publisher` that will
/// subscribe and unsubscribe to all the annotated attributes. This allows
/// the structure to be used inside the `until!`-macro.
///
/// # Examples
///
/// Simple `Publisher`:
/// ```
/// # use odem_rs::prelude::*;
/// # async fn sim_main() {
/// #[derive(Publisher)]
/// struct Foo(#[subscribe] Control<bool>);
///
/// impl Foo {
///     fn is_false(&self) -> bool {
///         !self.0.get()
///     }
/// }
///
/// let foo = Foo(Control::new(true));
///
/// // will wake up, once another part of the simulation sets
/// // the inner `Control` to `true`
/// until!(foo.is_false()).await;
/// # }
/// ```
///
/// Multiple fields:
/// ```
/// # use odem_rs::prelude::*;
/// #[derive(Publisher)]
/// struct Foo {
///     field1: i32,
///     #[subscribe]
///     field2: Control<i32>,
///     #[subscribe]
///     field3: Control<bool>,
/// }
/// ```
///
/// Nesting of `Publisher` is possible, and generics are permitted:
/// ```
/// # use odem_rs::prelude::*;
/// # #[derive(Publisher)] struct Foo;
/// #[derive(Publisher)]
/// struct Bar<T: ?Sized> {
///     #[subscribe]
///     foo: Foo,
///     data: T,
/// }
/// ```
///
/// Generic `Publisher` are also supported and qualify their implementation
/// using an extended `where`-bound for the individual subscriber fields.
/// ```
/// # use odem_rs::prelude::*;
/// #[derive(Publisher)]
/// struct Bar<T> {
///     #[subscribe]
///     maybe_publisher: T
/// }
/// ```
#[proc_macro_derive(Publisher, attributes(subscribe))]
pub fn derive_publisher(input: TokenStream) -> TokenStream {
	match odem_rs_crate("odem-rs-sync") {
		Ok(sync) => {
			publisher::publisher_derive_impl(parse_macro_input!(input as DeriveInput), sync)
		}
		Err(msg) => msg,
	}
	.into()
}

/// Generates a synchronous main function that sets up a simulator, runs the
/// provided asynchronous simulation logic, and handles the results.
///
/// The user's function to which the attribute is applied **must**:
/// 1.  Be an `async fn`.
/// 2.  Accept a simulation context as its first argument (e.g., `sim: &Sim`).  
///     This argument is provided by the `simulator.run()` call.
/// 3.  Any later arguments to the user's `async fn` will become arguments
///     of the generated synchronous wrapper function.
/// 4.  The return type of the user's `async fn` will be the return type of the
///     generated synchronous wrapper, with specialized handling for `Result`
///     types (see below).
///
/// The attribute can optionally take an expression as an argument, which will
/// be used to initialize the configuration (e.g.,
/// `#[odem_rs::main(custom_init())]`). The initialization expression can also
/// refer to the arguments passed during the function call. If no argument is
/// provided, the configuration is default-constructed.
///
/// # Generated Code Structure
///
/// The macro transforms the user's `async fn sim_main(sim: &Sim, arg1: T) -> R`
/// into a synchronous function like:
///
/// ```ignore
/// pub fn sim_main(arg1: T) -> R {
///     use odem_rs::core::simulator::{Simulator, details::*};
///
///     // Simulator setup
///     let simulator = Simulator::new(init_expr_or_default);
///
///     // Running the simulation
///     let result = simulator.run(async move |sim: &Sim| {
///         // User's original async fn
///     });
///
///     // Specialized result handling
///     (&result).classify().unwrap(result)
/// }
/// ```
///
/// # Specialized `Result` Handling
///
/// The generated code uses a `classify().unwrap()` pattern on the `Result`
/// returned by `simulator.run()`. This leverages helper traits and
/// implementations in `odem_rs::core::simulator::details` to achieve
/// compile-time specialization adapted from **David Tolnay** and described
/// [here](https://github.com/dtolnay/case-studies/blob/master/autoref-specialization/README.md):
///
/// * **Generic Case**: If the user's `async fn` returns `R` (which becomes
///   `Result<R, Deadlock>` after `simulator.run()`), or `Result<R, Err>`
///   (becoming `Result<Result<R, Err>, Deadlock>`), and `Err` cannot be
///   converted from `Deadlock`, the `unwrap` call will return `R` or
///   `Result<R, Err>` respectively, and panic if `Deadlock` occurred.
///
/// * **Specialized Case**: If the user's `async fn` returns `Result<R, Err>`
///   (becoming `Result<Result<R, Err>, Deadlock>` after `simulator.run()`),
///   *and* `Err` implements `From<Deadlock>`, the `unwrap` call will convert
///   the `Deadlock` into an `Err` if the simulation run results in
///   `Err(Deadlock)`. The final return type in this case is `Result<R, Err>`,
///   and the function *does not panic* on `Deadlock`, instead folding it into
///   `Err`.
///
/// This allows for cleaner error handling by automatically propagating the
/// simulator-specific `Deadlock` error into the user's defined error type,
/// provided the necessary `From` trait is implemented. For example,
/// `SimResult<R>` implements `From<Deadlock>` for its error variant.
///
/// # Examples
///
/// **1. Basic simulation with no extra arguments and no return type**
///
/// ```no_run
/// # use odem_rs::prelude::*;
/// #[odem_rs::main]
/// async fn main(sim: &Sim) {
///     // simulation logic using `sim`
/// }
/// ```
///
/// **2. Simulation with arguments and custom simulator initialization**
///
/// ```no_run
/// # use odem_rs::prelude::*;
/// # #[derive(Config)] struct MyConfig;
/// # fn my_custom_sim_config(_: i32) -> MyConfig { MyConfig }
/// #[odem_rs::main(my_custom_sim_config(steps))]
/// async fn with_args(sim: &Sim<MyConfig>, steps: i32) -> String {
///     "simulation logic using `sim` and `steps`, returning a `String`".to_string()
/// }
///
/// fn main() {
///     let _: String = with_args(10);
/// }
/// ```
///
/// **3. Handling `Result` with a generic error (panics on `Deadlock`)**
///
/// ```should_panic
/// # use odem_rs::prelude::*;
/// #[derive(Debug, PartialEq)]
/// struct CustomError(String); // Does NOT implement From<Deadlock>
///
/// #[odem_rs::main]
/// async fn with_custom_error(sim: &Sim) -> Result<String, CustomError> {
///     sleep().await;
///     Ok("Data".to_string())
/// }
///
/// fn main() {
///     let result = with_custom_error(); // panics due to the `sleep().await`
///     assert_eq!(result, Ok("Data".to_string()));
/// }
/// ```
///
/// **4. Specialized `Result` handling (converts `Deadlock` to `UserError`)**
///
/// This example uses `SimResult`, which implements `From<Deadlock>`.
///
/// ```
/// # use odem_rs::prelude::*;
/// # #[derive(Config, Default)] struct MyConfig;
/// #[odem_rs::main]
/// async fn with_specialized_error(sim: &Sim<MyConfig>) -> SimResult<String> {
///     sleep().await;
///     Ok("Data".to_string())
/// }
///
/// fn main() {
///     match with_specialized_error() {
///         Ok(value) => println!("Success: {}", value),
///         Err(err) => {
///             // If sleep().await was called, and Deadlock was converted,
///             // this arm would be hit.
///             println!("Handled SimError: {}", err);
///         }
///     }
/// }
/// ```
#[proc_macro_attribute]
pub fn sim_main(attr: TokenStream, code: TokenStream) -> TokenStream {
	match odem_rs_crate("odem-rs-core") {
		Ok(core) => sim_main::sim_main_impl(
			if !attr.is_empty() {
				Some(parse_macro_input!(attr as Expr))
			} else {
				None
			},
			parse_macro_input!(code as ItemFn),
			core,
		),
		Err(msg) => msg,
	}
	.into()
}

/// Helper function to locate the name of the specific `odem-rs` crate.
///
/// This function handles calls from within the corresponding crate itself, as
/// well as calls including the main `odem-rs` crate or the specific crate, even
/// if the dependency has been renamed in the `Cargo.toml`.
fn odem_rs_crate(name: &str) -> Result<proc_macro2::TokenStream, proc_macro2::TokenStream> {
	use proc_macro_crate::{FoundCrate, crate_name};
	use proc_macro2::Span;
	use quote::quote;
	use syn::Ident;

	// check if the `odem-rs` crate is in the list of cargo dependencies
	if let Ok(odem_rs) = crate_name("odem-rs") {
		let odem_rs = match odem_rs {
			FoundCrate::Itself => Ident::new("odem_rs", Span::call_site()),
			FoundCrate::Name(name) => Ident::new(&name, Span::call_site()),
		};
		let suffix = Ident::new(name.rsplit('-').next().unwrap(), Span::call_site());
		Ok(quote!(#odem_rs::#suffix))
	} else if let Ok(found) = crate_name(name) {
		// handle the crate itself being pulled in
		Ok(match found {
			FoundCrate::Itself => {
				// could be `crate` since we're probably in a unit test function
				// but is more robust for doctests that are compiled in a
				// separate crate, despite belonging to the same library;
				// my crates include themselves via `extern crate self as name`
				let name = Ident::new(&name.replace('-', "_"), Span::call_site());
				quote!(#name)
			}
			FoundCrate::Name(name) => {
				let name = Ident::new(&name, Span::call_site());
				quote!(#name)
			}
		})
	} else {
		Err(quote!(compile_error!(concat!(
			"neither `odem-rs` nor `", #name, "` found in dependency chain; \
			 did you include `odem-rs` in your Cargo.toml?"
		))))
	}
}