type_expansion A tool for runtime type check Build $ rebar3 compile Functions type_expansion:expand/3 : expand erlang type of exported type by MFA. type_formal_trans:to_clauses/1 : transform expanded erlang type to clauses formal for future use.