ToySolver.Data.Var

type Var

type VarSet

type VarMap

class Variables a

type Model r