Plasma GitLab Archive
Projects Blog Knowledge

sig
  val write_document :
    Pervasives.out_channel ->
    ('Pxp_document.node #Pxp_document.extension as 'a)
    Pxp_document.document -> unit
  val write_subtree :
    Pervasives.out_channel ->
    ('Pxp_document.node #Pxp_document.extension as 'a) Pxp_document.node ->
    unit
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml