Crate cop[−][src]
Re-exports
pub use app::App; |
pub use args::Args; |
pub use ctx_iter::CtxIter; |
pub use fof::Form; |
pub use literal::Lit; |
pub use offset::Offset; |
pub use rewind::Rewind; |
pub use signed::Signed; |
pub use skipper::Skipper; |
pub use symbol::Symbol; |
pub use term::Term; |
Modules
app | |
args | |
change | Functions from |
ctx_iter | |
equality | |
fof | |
lean | |
literal | |
offset | |
ptr | |
rewind | |
role | |
signed | |
skipper | |
subst | |
symbol | Shared strings with fast copying, hashing and equality checking. |
szs | |
term |
Functions
fold_right1 | |
nonfunctional | Return the keys that are mapped to more than one different value. |
union1 | Remove all elements of |
union2 | Compute the union of two vectors, removing duplicates from the first one. |