Module type Fix.SOLUTION

type variable
type property
val solution : variable -> property