package quickterface

  1. Overview
  2. Docs

Module Io.OutputSource

Sourcetype (_, _) t =
  1. | Text : (Output_text_options.t, string) t
  2. | Math : (Output_text_options.t, Math.t) t
  3. | Title : (unit, string) t