dstep v1.0.3 (2021-07-31T06:50:08Z)
Home
Dub
Repo
InferredType
dstep
translator
TypeInference
Undocumented in source.
alias
InferredType
=
Algebraic
!(
Defined
,
Generic
,
Meta
)
Meta
Source
See Implementation
dstep
translator
TypeInference
aliases
InferredType
classes
InferenceContext
TypedMacroDefinition
functions
commonType
inferExpressionType
inferMacroSignature
inferMacroSignatures
structs
Defined
Generic
InferredSignature
Meta