CPSolver.Variable.Agent (Fixpoint v0.3.1)

Summary

Functions

Link to this function

create(variable)

Link to this function

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