Struct CoqInstanceDef 

pub struct CoqInstanceDef {
    pub name: Option<String>,
    pub class: String,
    pub args: Vec<String>,
    pub methods: Vec<(String, String)>,
}

Coq instance definition

Fields

name: Option<String>

class: String

args: Vec<String>

methods: Vec<(String, String)>

Trait Implementations

impl Clone for CoqInstanceDef

fn clone(&self) -> CoqInstanceDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoqInstanceDef

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

Formats the value using the given formatter.

impl Display for CoqInstanceDef

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

Formats the value using the given formatter.