Open Sidebar
Close Sidebar
CrystalDoc.info
Source code
Shards.info
simple_sub
master
SimpleSub
CompactType
Analysis
TypeFunction
TypePrimitive
TypeVariable
Error
StructRef
Term
TermApp
TermLam
TermLit
TermVar
Typer
Ctx
SimpleType
Type
TypeFunction
TypePolymorphic
TypePrimitive
TypeVariable
Generated using Crystal 1.10.1
2024-02-25 04:35:10 UTC
class
SimpleSub::
Typer
SimpleSub::Typer
Reference
Object
Defined in:
simple_sub/type.cr
simple_sub/typer.cr
Constructors
.new
Instance Method Summary
#infer_type
(term : Term)
Constructor Detail
def self.
new
#
[
View source
]
Instance Method Detail
def
infer_type
(term :
Term
)
#
[
View source
]