Skip to main content

Pattern

Type Alias Pattern 

Source
pub type Pattern = (Option<u32>, Option<u32>, Option<u32>);
Expand description

A triple pattern: None is an unbound variable, Some(id) a bound term.