O
        
            
                
            
            object
        
        
            Typed
            
        
        
            
                extends
                
                    Object
                    with Serializable
                    
                
            
        
    
    
    
        
    
    
    
        
            
Supertypes
            
                
                    Object, 
                
                    Serializable
                
            
        
    
    
    
    
    
    
    
        Members
        
            
                
                    
                
                
                    
                
                
                
                
                    
                    
                        
                            
                        
                        def 
                    
                    
                    
                        
                        
                            
                                apply
                            
                        
                        
                        
                        
                        
                            
                                
                                    (
                                                                    
                                        
                                            expr:
                                            
                                            Term
                                        
                                        , 
                                    
                                        
                                            tpt:
                                            
                                            TypeTree
                                        
                                        
                                    
                                    )
                                
                            
                                
                                    (
                                    
                                        implicit 
                                                                    
                                        
                                            ctx:
                                            
                                            Context
                                        
                                        
                                    
                                    )
                                
                            
                        
                        
                        
                            : Typed
                        
                        
                        
                    
                    
                    
                        
                            Create a type ascription <x: Term>: <tpt: TypeTree>
                        
                     
                    
                    
                        
                        
                        
                            Create a type ascription <x: Term>: <tpt: TypeTree>
                        
                        
                     
                 
            
                
                    
                
                
                    
                
                
                
                
            
                
                    
                
                
                    
                
                
                
                
                    
                    
                        
                            
                        
                        def 
                    
                    
                    
                        
                        
                            
                                unapply
                            
                        
                        
                        
                        
                        
                            
                                
                                    (
                                                                    
                                        
                                            x:
                                            
                                            Typed
                                        
                                        
                                    
                                    )
                                
                            
                                
                                    (
                                    
                                        implicit 
                                                                    
                                        
                                            ctx:
                                            
                                            Context
                                        
                                        
                                    
                                    )
                                
                            
                        
                        
                        
                            : Option[(
Term, TypeTree
)]
                        
                        
                        
                    
                    
                    
                        
                            Matches <expr: Term>: <tpt: TypeTree>
                        
                     
                    
                    
                        
                        
                        
                            Matches <expr: Term>: <tpt: TypeTree>