Type.Inference.Api behaviour (mavis v0.0.6) View Source
TBD
Link to this section Summary
Link to this section Callbacks
Specs
infer(module(), atom(), arity()) :: {:ok, Type.inferred()} | {:error, term()} | :unknown
TBD
infer(module(), atom(), arity()) :: {:ok, Type.inferred()} | {:error, term()} | :unknown