Struct weresocool_ast::ast::FunDef
source · pub struct FunDef {
pub name: String,
pub vars: Vec<String>,
pub term: Box<Term>,
}
Fields§
§name: String
§vars: Vec<String>
§term: Box<Term>
Trait Implementations§
source§impl PartialEq<FunDef> for FunDef
impl PartialEq<FunDef> for FunDef
impl StructuralPartialEq for FunDef
Auto Trait Implementations§
impl RefUnwindSafe for FunDef
impl Send for FunDef
impl Sync for FunDef
impl Unpin for FunDef
impl UnwindSafe for FunDef
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more