CPSolver.Solution behaviour (Fixpoint v0.8.37)
Summary
Callbacks
Link to this callback
handle(solution)
Functions
Link to this function
default_handler()
Link to this function
run_handler(solution, handler)
Link to this function