2008-11-12 -type属性 Erlang メモ kernel/include/file.hrl で使われている。型に、pos_integer(), non_neg_integer() なんてのも使われている。