1 2 3 4 5
-module(test). -spec main(integer(), bool(), binary(), ok | error) -> atom(). main(A, B, C, D) -> ok.