mutable type abst ;