ContextFunctionType
object ContextFunctionType
An extractor for context function types As ?=> B
, possibly with
dependent refinements. Optionally returns a triple consisting of the argument
types As
, the result type B
and a whether the type is an erased context function.