Struct CoqLtacDef 

pub struct CoqLtacDef {
    pub name: String,
    pub params: Vec<String>,
    pub body: String,
    pub is_recursive: bool,
}

Coq ltac definition

Fields

name: String

params: Vec<String>

body: String

is_recursive: bool

Trait Implementations

impl Clone for CoqLtacDef

fn clone(&self) -> CoqLtacDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoqLtacDef

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

Formats the value using the given formatter.

impl Display for CoqLtacDef

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

Formats the value using the given formatter.