I
inline :: Int -> E (T ()) -> (E (T ()), Int) Source #
β :: Int -> E (T ()) -> (E (T ()), Int) Source #