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

operation(var, operation, args \\ [])