type vs opaque директивы в erlang

В чем разница между -opaque и -type ? Я видел оба в основных модулях Erlang, но не чувствую разницы. Можно ли использовать -export_type для них обоих?