Commit 50a93c06 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-07-08 17:17:31 by cmiachon] [int*]

Original author: cmiachon
Date: 2004-07-08 17:17:31+00:00
parent 00603581
......@@ -44,7 +44,9 @@ let recurs f =
let star_node t = recurs (fun n -> Types.cup nil_type (Types.times t n ))
let any_node = star_node (Types.cons Types.any)
let int_node = star_node (Types.cons (Types.int_any))
let any = Types.descr any_node
let int= Types.descr int_node
let seqseq = Types.descr (star_node any_node)
let star t = Types.descr (star_node (Types.cons t))
......@@ -3,6 +3,7 @@ val nil_node: Types.Node.t
val nil_atom: Atoms.V.t
val nil_cst: Types.Const.t
val any: Types.t
val int: Types.t
val seqseq: Types.t
val string: 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