Type Definition puzzle_solver::Coef [] [src]

type Coef = Rational32;

The type of the coefficients in a linear expression.