ptype

Probabilistic type inference