Define type_eq

Define Documentation

type_eq(T1, T2)