O object

AnnotatedType

extends Object

Supertypes

Object

Members

def 

apply

( underlying: Type ,  annot: Term ) ( implicit  ctx: Context ) : AnnotatedType

def 

extension_annot

( self: AnnotatedType ) ( implicit  ctx: Context ) : Term

def 

extension_underlying

( self: AnnotatedType ) ( implicit  ctx: Context ) : Type

def 

unapply

( x: AnnotatedType ) ( implicit  ctx: Context ) : Option[( Type, Term )]