reference ctt documentation
type inference
docs