51c65d5fb2d720dc77bc5cca15640cfa09711986Christian Maedertype t1 ::= c(s:?(Unit->Unit))
51c65d5fb2d720dc77bc5cca15640cfa09711986Christian Maedertype t2 ::= c(s:?Unit->Unit)
51c65d5fb2d720dc77bc5cca15640cfa09711986Christian Maedertype t2 ::= c(s:(?Unit->Unit))
51c65d5fb2d720dc77bc5cca15640cfa09711986Christian Maedertype t3 ::= c(s:Logical->Unit)