py_replinput method

int py_replinput(
  1. Pointer<Char> buf,
  2. int max_size
)

An utility function to read a line from stdin for REPL.

Implementation

int py_replinput(
  ffi.Pointer<ffi.Char> buf,
  int max_size,
) {
  return _py_replinput(
    buf,
    max_size,
  );
}