OpenMath Signatures

Type System: sts
Content Dictionary: ecc
CD Signature File: ecc.sts

official 
         
  Not done yet

type 


      

         Content Dictionary Entry.
      

      

      

         

            
               
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
            
         

      

      


      

      

         omtype
      

      

      

         Content Dictionary Entry.
      

      

      

         

            
               
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
            
         

      

      


      

      

         symtype
      

      

      

         Content Dictionary Entry.
      

      

      

         

            
               
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
            
         

      

      


      

      

         integer
      

      

      

         Content Dictionary Entry.
      

      

      

         

            
               
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
            
         

      

      


      

      

         float
      

      

      

         Content Dictionary Entry.
      

      

      

         

            
               
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
            
         

      

      


      

      

         string
      

      

      

         Content Dictionary Entry.
      

      

      

         

            
               
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
            
         

      

      


      

      

         bytearray
      

      

      

         Content Dictionary Entry.
      

      

      

         

            
               
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
            
         

      

      


      

      

         prop
      

      

      

         Content Dictionary Entry.
      

      

      

         

            
               
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
            
         

      

      


      

      

         PiType
      

      

      

         Content Dictionary Entry.
      

      

      

         

            
               
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
            
         

      

      


      

      

         SigmaType
      

      

      

         Content Dictionary Entry.
      

      

      

         

            
               
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
            
         

      

      


      

      

         Lambda
      

      

      

         Content Dictionary Entry.
      

      

      

         

            
               
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
            
         

      

      


      

      

         Pair
      

      

      

         Content Dictionary Entry.
      

      

      

         

            
               
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
            
         

      

      


      

      

         PairProj1
      

      

      

         Content Dictionary Entry.
      

      

      

         

            
               
          [First:
          ]
        
          [Last:
          ]
        
      [Top]
    
            
         

      

      


      

      

         PairProj2
      

      

      

         Content Dictionary Entry.
      

      

      

         

            
               
          [First:
          ]
        
          [Last:
          ]
        
      [Top]