Companion

object Companion

Functions

Link copied to clipboard
fun streamTerm(input: Boolean? = null, id: String? = null): Struct

Builds the $stream(Direction, Id) Struct term identifying a channel, given its input direction (in/out, or an unbound variable if null) and id (or an unbound variable if null).