- Printf.printf "TAG = %d\n" tag ; flush stdout ;
- tag, !subterms
-
-let compatible t1 t2 =
- match t1, t2 with
- | Variable _, Variable _ -> true
- | Variable _, _
- | _, Variable _
- | Magic _, _
- | _, Magic _ -> false
- | Layout _, _
- | _, Layout _ -> assert false
- | _ -> true