Sequence.ml

(* Copyright INRIA and Microsoft Corporation, 2008-2013. *)
(* DDMF is distributed under CeCILL-B license. *)

INCLUDE "preamble.ml"

let display_rec rec_id parvals =
  DC.warning
    <:par< A warning.>>

let title seq_id =
  let seq = DB.seq_of_id seq_id in
  let name = seq.Seq.full_name in
  <:text<The $(str: name)>>

let_service Param0''
  (rec_id : string) :
  DC.sec_entities * unit with { title = title } =

  (DC.section
     (title rec_id)
     (display_rec rec_id [ ]),
   ())

Generated by GNU Enscript 1.6.5.90.