Module Odoc_odoc.LatexSource

Sourcetype args = {
  1. with_children : bool;
}
Sourceval extra_documents : 'a -> 'b -> syntax:'c -> 'd list