OpenMath Signatures


Type System: sts
Content Dictionary: sts
CD Signature File: sts.sts
CD Signature as XML Encoded OpenMath: sts.omsts



type

<OMOBJ>
  <OMS name="attribution" cd="sts"/>
</OMOBJ>
attribution

Content Dictionary Entry.


[Next: mapsto] [Last: NumericalValue] [Top]


mapsto

<OMOBJ>
  <OMA>
    <OMS cd="sts" name="mapsto"/>
    <OMA>
      <OMS cd="sts" name="nary"/>
      <OMV name="AnyType"/>
    </OMA>
    <OMV name="FunctionType"/>
  </OMA>
</OMOBJ>
( ( AnyType * ) >> FunctionType )

Content Dictionary Entry.


[Next: nary] [Previous: type] [Top]


nary

<OMOBJ>
  <OMA>
    <OMS cd="sts" name="mapsto"/>
    <OMV name="Type"/>
    <OMV name="Tuple"/>
  </OMA>
</OMOBJ>
( Type >> Tuple )

Content Dictionary Entry.


[Next: nassoc] [Previous: mapsto] [Top]


nassoc

<OMOBJ>
  <OMA>
    <OMS cd="sts" name="mapsto"/>
    <OMV name="Type"/>
    <OMV name="Tuple"/>
  </OMA>
</OMOBJ>
( Type >> Tuple )

Content Dictionary Entry.


[Next: error] [Previous: nary] [Top]


error

<OMOBJ>
  <OMA>
    <OMS cd="sts" name="mapsto"/>
    <OMV name="String"/>
    <OMV name="Error"/>
  </OMA>
</OMOBJ>
( String >> Error )

Content Dictionary Entry.


[Next: structure] [Previous: nassoc] [Top]


structure

<OMOBJ>
  <OMA>
    <OMS cd="sts" name="mapsto"/>
    <OMV name="Category"/>
    <OMV name="Domain"/>
  </OMA>
</OMOBJ>
( Category >> Domain )

Content Dictionary Entry.


[Next: binder] [Previous: error] [Top]


binder

<OMOBJ>
  <OMV name="Symbol"/>
</OMOBJ>
Symbol

Content Dictionary Entry.


[Next: attribution] [Previous: structure] [Top]


attribution

<OMOBJ>
  <OMV name="Symbol"/>
</OMOBJ>
Symbol

Content Dictionary Entry.


[Next: Object] [Previous: binder] [Top]


Object

<OMOBJ>
  <OMV name="Symbol"/>
</OMOBJ>
Symbol

Content Dictionary Entry.


[Next: NumericalValue] [Previous: attribution] [Top]


NumericalValue

<OMOBJ>
  <OMV name="Symbol"/>
</OMOBJ>
Symbol

Content Dictionary Entry.


[First: type] [Previous: Object] [Top]