github/circ
1
1
Fork 0
mirror of https://github.com/circify/circ.git synced 2026-01-10 22:27:55 -05:00
Code Issues Packages Projects Releases Wiki Activity

term! doc

Browse Source
This commit is contained in:
Alex Ozdemir
2021-05-22 09:59:32 -07:00
parent a31d0907a2
commit f7146bdd03
1 changed files with 10 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/ir/term/mod.rs
View File

@@ -12,9 +12,9 @@
//! * [Sort]: the type of a term
//! * [check]: get the type of a term
//! * Term construction
//! * [leaf_term]: from an operator
//! * [term()]: from an operator and vector of children
//! * [term!]: from an operator and a syntactic list of children
//! * [leaf_term]: from an operator alone
//! * [term()]: from an operator and vector of children
//! * Term data-structures and algorithms
//! * [TermMap], [TermSet]: maps from and sets of terms
//! * [PostOrderIter]: an iterator over the descendents of a term. Children-first.
@@ -1172,8 +1172,15 @@ where
#[macro_export]
/// Make a term.
///
/// Syntax: `term![OP; ARG0, ARG1, ... ]`. Note the semi-colon.
/// Syntax:
///
/// * without children: `term![OP]`
/// * with children: `term![OP; ARG0, ARG1, ... ]`
/// * Note the semi-colon
macro_rules! term {
($x:expr) => {
leaf_term($x)
};
($x:expr; $($y:expr),+) => {
term($x, vec![$($y),+])
};