pub type SolverCallback = Box<dyn Fn(HashMap<Name, Literal>) -> bool + Send>;Expand description
The type for user-defined callbacks for use with Solver.
Note that this enforces thread safety
Aliased Type§
pub struct SolverCallback(/* private fields */);Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 16 bytes