abstract_solver_type.m:009: Error: this solver type declaration of [38;5;87m`foo1'/0[39;49m is
abstract_solver_type.m:009:   [38;5;203mincompatible[39;49m with the equivalence type definition
abstract_solver_type.m:009:   in the implementation section.
abstract_solver_type.m:015:   That definition is here.
abstract_solver_type.m:010: Error: this solver type declaration of [38;5;87m`foo2'/0[39;49m is
abstract_solver_type.m:010:   [38;5;203mincompatible[39;49m with the discriminated union type
abstract_solver_type.m:010:   definition in the implementation section.
abstract_solver_type.m:017:   That definition is here.
abstract_solver_type.m:011: Error: this solver type declaration of [38;5;87m`foo3'/0[39;49m is
abstract_solver_type.m:011:   [38;5;203mincompatible[39;49m with the foreign type definition in
abstract_solver_type.m:011:   the implementation section.
abstract_solver_type.m:021:   That definition is here.
