Skip to main content

oxilean_codegen/coq_backend/
coqversion_traits.rs

1//! # CoqVersion - Trait Implementations
2//!
3//! This module contains trait implementations for `CoqVersion`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Display`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::CoqVersion;
12use std::fmt;
13
14impl std::fmt::Display for CoqVersion {
15    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
16        match self {
17            CoqVersion::V8_14 => write!(f, "8.14"),
18            CoqVersion::V8_15 => write!(f, "8.15"),
19            CoqVersion::V8_16 => write!(f, "8.16"),
20            CoqVersion::V8_17 => write!(f, "8.17"),
21            CoqVersion::V8_18 => write!(f, "8.18"),
22            CoqVersion::V8_19 => write!(f, "8.19"),
23            CoqVersion::V8_20 => write!(f, "8.20"),
24            CoqVersion::Rocq0_1 => write!(f, "Rocq 0.1"),
25            CoqVersion::Latest => write!(f, "latest"),
26        }
27    }
28}