Notation

[emil14]

LowerCamelCase

Component with one inport and one outport

inPortName -> componentName -> outPortName 

Componen with many inports and outports

i1, i2, ..., iN -> componentName -> o1, o2, ..., oN

Component typed inport

(inportName type) -> componentName -> (outportName type)

(v str) -> componentName -> sig

(v1, v2 T1) -> add -> T

This is component signatures or headers

in means inports and out means outports
v means value
k means key

[emil14]

componentName = (v1, v2 T) -> (v T) {

}