jon.recoil.org

Module Types.AlternativeSource

type expansion = {
  1. status : [ `Inline | `Open | `Closed | `Default ];
  2. summary : Odoc_document.Types.Source.t;
  3. expansion : Odoc_document.Types.DocumentedSrc.t;
  4. url : Odoc_document.Url.Path.t;
}