DDC.Type.Bind

Documentation

getBindType :: Eq n => [Bind n] -> Bound n -> Maybe (Int, Type n)

Lookup the type of a bound thing from the binder stack. The binder stack contains the binders of all the TForalls we've entered under so far.