CPSolver.Solution behaviour (Fixpoint v0.1.2)
Summary
Callbacks
Link to this callback
handle(solution)
Functions
Link to this function
default_handler()
Link to this function