package quickterface

  1. Overview
  2. Docs

Module Io.InputSource

Sourcetype (_, _) t =
  1. | Text : (string option, string) t
  2. | Integer : (unit, int) t
  3. | Single_selection : ('a list * ('a -> string), 'a) t
  4. | Multi_selection : ('a list * ('a -> string), 'a list) t