system module compare_constructor;

equal_constructor :: !a !a ->Bool;
less_constructor :: !a !a ->Bool;
greater_constructor :: !a !a ->Bool;