Struct CoqLetDef 

pub struct CoqLetDef {
    pub name: String,
    pub params: Vec<(String, Option<String>)>,
    pub return_type: Option<String>,
    pub body: String,
    pub is_opaque: bool,
}

Coq definition with let-binding

Fields

name: String

params: Vec<(String, Option<String>)>

return_type: Option<String>

body: String

is_opaque: bool

Trait Implementations

impl Clone for CoqLetDef

fn clone(&self) -> CoqLetDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoqLetDef

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

Formats the value using the given formatter.

impl Display for CoqLetDef

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

Formats the value using the given formatter.