#ifndef JIVE_VSDG_TYPES_H
#define JIVE_VSDG_TYPES_H

#include <jive/vsdg/basetype.h>
#include <jive/vsdg/statetype.h>
#include <jive/vsdg/controltype.h>

#endif

#ifndef JIVE_VSDG_TYPES_H
#define JIVE_VSDG_TYPES_H

#include <jive/vsdg/basetype.h>
#include <jive/vsdg/statetype.h>
#include <jive/vsdg/controltype.h>
#include <jive/vsdg/valuetype.h>

#endif

Add valuetype as "standard" type
Add valuetype as "standard" type

Add to vsdg/types.h header to make it available as "standard"
type.
