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]