fn build_def0(&self,
    atom: AtomId, vis: Modifiers, span: FileSpan, full: Span, e: ExprId, ret: SortId,
  ) -> Term {
    let (heap, head) = self.build0(e);
    Term {
      atom, span, vis, full, doc: None, args: Box::new([]), ret: (ret, 0),
      kind: TermKind::Def(Some(Expr { heap, head })),
    }
  }
/// Constructs a definition with no parameters or dummy variables.
Constructs a definition with no parameters or dummy variables.
Constructs a definition with no parameters or dummy variables .
fn build_def0(&self,
    atom: AtomId, vis: Modifiers, span: FileSpan, full: Span, e: ExprId, ret: SortId,
  ) -> Term {
    let (heap, head) = self.build0(e);
    Term {
      atom, span, vis, full, doc: None, args: Box::new([]), ret: (ret, 0),
      kind: TermKind::Def(Some(Expr { heap, head })),
    }
  }
fn build_def0 ( & self , atom : AtomId , vis : Modifiers , span : FileSpan , full : Span , e : ExprId , ret : SortId , ) -> Term { let ( heap , head ) = self . build0 ( e ) ; Term { atom , span , vis , full , doc : None , args : Box :: new ( [ ] ) , ret : ( ret , 0 ) , kind : TermKind :: Def ( Some ( Expr { heap , head } ) ) , } }
Constructs a definition with no parameters or dummy variables.
Constructs a definition with no parameters or dummy variables .
&self
atom
AtomId
vis
Modifiers
span
FileSpan
full
Span
e
ExprId
ret
SortId
&self
atom
AtomId
vis
Modifiers
span
FileSpan
full
Span
e
ExprId
ret
SortId