Struct FunSig

pub struct FunSig {
    pub name: String,
    pub args: Vec<(String, Type)>,
    pub rettype: Type,
}

A struct that represents a function signature.

This structure stores a function’s name alongside its argument list and return type. The name field holds the function’s name as a string. The args field is a vector of tuples, each containing a string representing an argument’s name and a Type specifying the argument’s type. The rettype field indicates the return type of the function. This struct provides a way to comprehensively define and store the components of a function’s signature, facilitating operations that involve introspection or manipulation of function definitions within the context of string synthesis problems.

Fields

name: String

args: Vec<(String, Type)>

rettype: Type

Implementations

impl FunSig

pub fn index(&self, argname: &str) -> Option<usize>

Returns the index of a named argument within the function signature’s argument list.

Trait Implementations

impl Clone for FunSig

fn clone(&self) -> FunSig

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FunSig

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

Formats the value using the given formatter.

impl Display for FunSig

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

Formats the value using the given formatter.