Subject: Term

Keywords: ::overview
          ::term

Title: TermSig

--------------------------------------------------
A term sig is a concise description of a term.
It consists of the opid, the list of parameter types, and
the list of arities. It is used in the implementation for
hashing data about terms. 

A term sig can be entered as a string in the editor to 
instantiate the corresponding term. 

Syntax is opid followed by optional parameter list followed by arity list.
If present, parameter list is delimited with curly braces: "{}",
and separated with comma: ",". Arity list is delimited with parens : "()",
and separated with semicolon: ";".
Eg, "natural_number{n}()", "all(0;1)", "lambda(1)", "variable{v}()"
    "foo{s,n}()".

<termsig>   : <opid><arities>
            | <opid>{<parms>}<arities>
<parms>     : <parmtype>
            | <parmtype>,<parms>
<arities>   : ()
            | (<aritylist>)
<aritylist> : <nat>
            | <nat>; <aritylist>

<parmtype>  : s | t | n | v | b | l | o
 for string, tok, natural, variable, bool, level_expression and object_id.
  ⋅
--------------------------------------------------

Authors: RICH:t

Contributors: NUPRL:t

⋅

Home