Printing (function?) symbols

[Broes De Cat]

Sometimes, only some of the sorts (or only the outputsort at least) is printed out, which cannot be read back in. For a function f(X):X, the theory

theory T2 : V {
    f(c)=1.
}

is printed as

theory T2 : V {
  (f[:V::X](c)  =  1).
}