pub fn ubif_splus_2_2(cur_proc: &mut Process,
                      args: &[LTerm]) -> BifResult {
  assert_eq!(args.len(), 2, "{}ubif_sminus_2_2 takes 2 args", module());
  let a: LTerm = args[0];
  let b: LTerm = args[1];
  if a.is_small() {
    if b.is_small() {
      add_two_small(cur_proc, a, b)
    } else {
      panic!("{}subtract: b={} other than small notimpl", module(), b)
    }
  } else {
    panic!("{}subtract: a={} other than small notimpl", module(), a)
  }
}
/// Addition for 2 mixed terms.
Addition for 2 mixed terms.
Addition for 2 mixed terms .
pub fn ubif_splus_2_2(cur_proc: &mut Process,
                      args: &[LTerm]) -> BifResult {
  assert_eq!(args.len(), 2, "{}ubif_sminus_2_2 takes 2 args", module());
  let a: LTerm = args[0];
  let b: LTerm = args[1];
  if a.is_small() {
    if b.is_small() {
      add_two_small(cur_proc, a, b)
    } else {
      panic!("{}subtract: b={} other than small notimpl", module(), b)
    }
  } else {
    panic!("{}subtract: a={} other than small notimpl", module(), a)
  }
}
pub fn ubif_splus_2_2 ( cur_proc : & mut Process , args : & [ LTerm ] ) -> BifResult { assert_eq ! ( args len ( ) 2 " " module ( ) ) ; let a : LTerm = args [ 0 ] ; let b : LTerm = args [ 1 ] ; if a . is_small ( ) { if b . is_small ( ) { add_two_small ( cur_proc , a , b ) } else { panic ! ( " " module ( ) b ) } } else { panic ! ( " " module ( ) a ) } }
Addition for 2 mixed terms.
Addition for 2 mixed terms .
cur_proc
&mut Process
args
&[LTerm]