path: root/frontend/compare_constructor.dcl

system module compare_constructor;

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