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
alias
SimpleSub::
CompactType::
TypeVariable
Alias Definition
SimpleSub::Typer::TypeVariable
Defined in:
simple_sub/compact_type.cr