Module Term.Application_infoSource

Sourcetype t =
  1. | Normal
  2. | Implicit
  3. | Binary