#include "standard._sep.h"
#include <nit_common.h>
extern const classtable_elt_t VFT_PartialOrder[];
extern const classtable_elt_t VFT_PartialOrderElement[];
#include "standard._sep.h"
#include <nit_common.h>
extern const classtable_elt_t VFT_PartialOrder[];
extern const classtable_elt_t VFT_PartialOrderElement[];