namespace http://www.openmath.org/cd❚
theory OpenMath =
Object❙
mapsto❙
naryObject❙
binder❙
OMI❙
// the lexing and checking rule for integer literals, e.g., 1 ❙
// rule info.kwarc.mmt.api.objects?OMI❙
OMF❙
// the lexing and checking rule for floating point literals ❙
// rule info.kwarc.mmt.api.objects?OMF❙
OMSTR❙
// the lexing and checking rule for string literals, e.g., "1" ❙
// rule info.kwarc.mmt.api.objects?OMSTR❙
❚