juvix-docs - 0.0.0

Stdlib.System.IO.Base

Definitions

builtin IO axiom IO : TypeSource#

builtin IO-sequence axiom >>> : IO -> IO -> IOSource#