OpenMath Signatures

---

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

---

official

---

type

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMS name="attribution" cd="sts"/>
</OMOBJ>

attribution

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

mapsto

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <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.

---

[First: ] [Last: ] [Top]

---

---

nary

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMA>
    <OMS cd="sts" name="mapsto"/>
    <OMV name="Type"/>
    <OMV name="Tuple"/>
  </OMA>
</OMOBJ>

( Type >> Tuple )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

nassoc

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMA>
    <OMS cd="sts" name="mapsto"/>
    <OMV name="Type"/>
    <OMV name="Tuple"/>
  </OMA>
</OMOBJ>

( Type >> Tuple )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

error

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMA>
    <OMS cd="sts" name="mapsto"/>
    <OMV name="String"/>
    <OMV name="Error"/>
  </OMA>
</OMOBJ>

( String >> Error )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

structure

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMA>
    <OMS cd="sts" name="mapsto"/>
    <OMV name="Category"/>
    <OMV name="Domain"/>
  </OMA>
</OMOBJ>

( Category >> Domain )

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

binder

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMV name="Symbol"/>
</OMOBJ>

Symbol

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

attribution

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMV name="Symbol"/>
</OMOBJ>

Symbol

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

Object

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMV name="Symbol"/>
</OMOBJ>

Symbol

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

NumericalValue

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMV name="Symbol"/>
</OMOBJ>

Symbol

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---

---

SetNumericalValue

<OMOBJ xmlns="http://www.openmath.org/OpenMath"> 
  <OMV name="Symbol"/>
</OMOBJ>

Symbol

Content Dictionary Entry.

---

[First: ] [Last: ] [Top]

---