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.16.3
2025-11-25 13:02:47 UTC
alias
SimpleSub::
CompactType::
TypePrimitive
Alias Definition
SimpleSub::Typer::TypePrimitive
Defined in:
simple_sub/compact_type.cr