[om] binder STS vs Symbol Roles

[David Carlisle]

  Is that correct or should STS binder description be extended to cover the  
  possiblity of using a binder as an argument?


I think that is already implict in STS.
prior to OM2 introducing the Role property you could always use any
symbol in any context, The STS gives the intended (or major) use.
You could for exampel have an expression such as

 lambda x. sin (x) = sin

where sin is used with no arguments (so as the third child of the apply
with first child eq) even though its sts implies the normal usage is
as a function with one argument.

Probably the STS document could be updated to make the correspondence
with the newer Role feature more explict.

David

________________________________________________________________________
This e-mail has been scanned for all viruses by Star. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems