def read_line

mylsm-lsm-store@0.6.0.1 · src/Console.bend:6

import mylsm-lsm-store@0.6.0.1/src/Console.bend as Console

import Base

6# Read line for the console input and output.
7def read_line() -> IO(Result<&1, &1, U32 & String, String>):
8  import "./effs/read_line.c"
9  import "./effs/read_line.js"

Uses (5)

U32
String
Pair
Result
IO

Used by (0)

No other definition uses this definition.