Trait trivial_kernel::table::Table [−][src]
An interface that enables queries for properties of sorts, terms and theorems.
An interface that enables queries for properties of sorts, terms and theorems.
type Sort: Sort
[src]type Term: Term<Type = Self::Var>
[src]type Theorem: Theorem
[src]type Var: Var
[src]fn get_sort(&self, idx: u8) -> Option<&Self::Sort>
[src]fn nr_sorts(&self) -> u8
[src]fn get_term(&self, idx: u32) -> Option<&Self::Term>
[src]fn nr_terms(&self) -> u32
[src]fn get_theorem(&self, idx: u32) -> Option<&Self::Theorem>
[src]fn nr_theorems(&self) -> u32
[src]fn get_unify_commands(&self, idx: Range<usize>) -> Option<&[Command<Unify>]>
[src]fn get_unify_command(&self, idx: usize) -> Option<&Command<Unify>>
[src]fn get_binders(&self, idx: Range<usize>) -> Option<&[Self::Var]>
[src]impl Table for Table_
[src]type Sort = Sort_
type Term = Term_
type Theorem = Theorem_
type Var = Var_
fn get_sort(&self, idx: u8) -> Option<&Self::Sort>
[src]fn nr_sorts(&self) -> u8
[src]fn get_term(&self, idx: u32) -> Option<&Self::Term>
[src]fn nr_terms(&self) -> u32
[src]fn get_theorem(&self, idx: u32) -> Option<&Self::Theorem>
[src]fn nr_theorems(&self) -> u32
[src]fn get_unify_commands(&self, idx: Range<usize>) -> Option<&[Command<Unify>]>
[src]fn get_unify_command(&self, idx: usize) -> Option<&Command<Unify>>
[src]fn get_binders(&self, idx: Range<usize>) -> Option<&[Self::Var]>
[src]