let sub ai1 ai2 = match ai1, ai2 with (* TODO: compute... *) | _, _ -> let t1 = to_term ai1 in let t2 = to_term ai2 in AIterm (term_of_sub t1 t2)