Enum CoqVersion 

pub enum CoqVersion {
    V8_14,
    V8_15,
    V8_16,
    V8_17,
    V8_18,
    V8_19,
    V8_20,
    Rocq0_1,
    Latest,
}

Coq version target

Variants

V8_14

V8_15

V8_16

V8_17

V8_18

V8_19

V8_20

Rocq0_1

Latest

Trait Implementations

impl Clone for CoqVersion

fn clone(&self) -> CoqVersion

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CoqVersion

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for CoqVersion

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for CoqVersion

fn eq(&self, other: &CoqVersion) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for CoqVersion

impl StructuralPartialEq for CoqVersion