Commit 73ab83b5 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-02-18 22:56:51 by jdemouth] Adds star_node value interface ( needed in cdo2cmo ).

Original author: jdemouth
Date: 2004-02-18 22:56:51+00:00
parent 9aeade2e
......@@ -26,6 +26,9 @@ val approx: Types.t -> Types.t
t <= (X where X = (s, X) | Any \ (Any,Any))
*)
(* Added this interface needed in cdo2cmo -- Julien *)
val star_node : Types.Node.t -> Types.Node.t
(** given a list of descrs create the sequence type from them *)
val seq_of_list: Types.t list -> Types.t
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment