CPSolver.Variable.Agent (Fixpoint v0.3.0)
Summary
Functions
Link to this function
create(variable, opts \\ [])
Link to this function
dispose(variable)
Link to this function