Artículo.
entidades de tipo IPromelaModuleContent que pueden ser, por ejemplo, sentencias CDecl o ProcType. Una declaración CDecl contiene elementos de nivel superior de IModuleContent de mbeddr que permite el uso de cualquier lenguaje admitido en mbeddr, el lenguaje C en nuestro caso, para ser utilizado