21 lines
434 B
OCaml
21 lines
434 B
OCaml
(* TODOCP *)
|
|
module Pset : sig
|
|
type t = Gwdb.iper list
|
|
type elt = Gwdb.iper
|
|
|
|
val add : 'a -> 'a list -> 'a list
|
|
val empty : 'a list
|
|
val elements : 'a list -> 'a list
|
|
val mem : 'a -> 'a list -> bool
|
|
end
|
|
|
|
val get_dag_elems : Config.config -> Gwdb.base -> Gwdb.iper list
|
|
|
|
type ('a, 'b) sum = ('a, 'b) Def.choice
|
|
|
|
val make_dag :
|
|
Config.config ->
|
|
Gwdb.base ->
|
|
Gwdb.iper list ->
|
|
(Gwdb.iper, int) Def.choice Dag2html.dag
|