Previous
Up
Next
Module
TermMono.TyBuiltin
module
TyBuiltin:
TI.TyBuiltin