Type.Inference.Api behaviour (mavis v0.0.6) View Source

TBD

Link to this section Summary

Link to this section Callbacks

Link to this callback

infer(module, atom, arity)

View Source

Specs

infer(module(), atom(), arity()) ::
  {:ok, Type.inferred()} | {:error, term()} | :unknown