Crate cop

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 T to T that return whether the output differs from the input.
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 v2 from v1 and append v2 to the result.
union2	Compute the union of two vectors, removing duplicates from the first one.