Syntax definition cfuco

Description: Extend class notation with functor composition bifunctors.

	Ref	Expression
Assertion	cfuco	Could not format assertion : No typesetting found for class o.F with typecode class