Struct CoqFixpointDef 

pub struct CoqFixpointDef {
    pub name: String,
    pub params: Vec<(String, String)>,
    pub return_type: String,
    pub struct_arg: Option<String>,
    pub body: String,
}

Coq fixpoint definition

Fields

name: String

params: Vec<(String, String)>

return_type: String

struct_arg: Option<String>

body: String

Trait Implementations

impl Clone for CoqFixpointDef

fn clone(&self) -> CoqFixpointDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoqFixpointDef

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

Formats the value using the given formatter.

impl Display for CoqFixpointDef

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

Formats the value using the given formatter.