// $Id$ $module "refal.plus.Compare"; $func? Ge (e.Exp1) (e.Exp2) = ; $func? Gt (e.Exp1) (e.Exp2) = ; $func? Le (e.Exp1) (e.Exp2) = ; $func? Lt (e.Exp1) (e.Exp2) = ; $func? Ne (e.Exp1) (e.Exp2) = ; $func? Eq (e.Exp1) (e.Exp2) = ; $func Compare (e.Exp1) (e.Exp2) = s.Res; // '<', '>', '='