Type Definition ContextHandle
type ContextHandle = Arc<Mutex<Context>>;
A handle to a Context instance.
All Context handles used in aces have type
Arc<Mutex<Context>>. They are stored permanently in the
following structs: CEStructure, sat::Formula,
solver::Solver, and solver::Solution.
For another way of binding Context to data see Contextual
trait and InContext struct.