generate erlang lib module with espec