typedef void (* partial_order___PartialOrderElement___init_t)(val_t self, val_t param0, val_t param1, val_t param2, int* init_table);
void partial_order___PartialOrderElement___init(val_t self, val_t param0, val_t param1, val_t param2, int* init_table);
val_t NEW_partial_order___PartialOrderElement___init(val_t param0, val_t param1, val_t param2);
typedef void (* partial_order___PartialOrderElement___init_t)(val_t self, val_t param0, val_t param1, val_t param2, int* init_table);
void partial_order___PartialOrderElement___init(val_t self, val_t param0, val_t param1, val_t param2, int* init_table);
val_t NEW_partial_order___PartialOrderElement___init(val_t param0, val_t param1, val_t param2);