Maybe, @spec and dialyzer. See also: How do typespecs / dialyzer compare to Typescript?
@spec
dialyzer
