A C-Type is an identifier of a type which can be understood by the C-Compiler (structured C types are not allowed). A FlatFormType is a C-type which results from functor flattening in fSDL, i.e. from expanding all inheritance relations and functor calls.