Struct BuiltinDecl 

pub struct BuiltinDecl {
    pub name: &'static str,
    pub arity: u32,
    pub doc: &'static str,
}

A built-in type declaration to register in the proof environment.

Fields

name: &'static str

Symbol name.

arity: u32

Number of type parameters.

doc: &'static str

Documentation.

Trait Implementations

impl Clone for BuiltinDecl

fn clone(&self) -> BuiltinDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BuiltinDecl

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

Formats the value using the given formatter.