IBAFLang/IBAF-cbs/Funcons-beta/Values/Composite/References/index.md

layout, title, parent, ancestor

layout	title	parent	ancestor
default	References	Composite	Funcons-beta

Funcons-beta : References.cbs

References and pointers

[
 Datatype references
 Funcon   reference
 Type     pointers
 Funcon   pointer-null
 Funcon   dereference
]

Meta-variables
 T <: values

Datatype
 references(T) ::= reference(_:T)

Datatype
 pointers(T) ::= pointer-null | { _:references(T) }

Funcon
  dereference(_:pointers(T)) : =>(T)?
Rule
 dereference(reference(V:T)) ~> V
Rule
  dereference(pointer-null) ~> ( )

---

From the PLanCompS Project | CBS-beta issues... | Suggest an improvement...