Link Search Menu Expand Document

Funcons-beta : Vectors.cbs | PRETTY | PDF


Vectors

[
  Datatype vectors
  Funcon   vector
  Funcon   vector-elements
]
Meta-variables
  T <: values
Datatype
  vectors(T) ::= vector(_:(T)*)
Funcon
  vector-elements(_:vectors(T)) : =>(T)*
Rule
  vector-elements(vector(V*:(T)*)) ~> V*