Commit 28bde346 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-05-24 19:42:01 by cvscast] Comments

Original author: cvscast
Date: 2003-05-24 19:42:01+00:00
parent 604ee153
......@@ -2,13 +2,17 @@ type t = Types.descr
val get : Types.descr -> t
(**
Extract when possible a subtype which is ``trivially'' non-empty.
Extract when possible a simpler type which is ``trivially'' non-empty.
This subtype is built from scalar and intersection of simple arrow types
using products, XML elements and records, without recursion.
using products, XML elements and records, without recursion nor
boolean combination.
The simpler type is not a subtype because of arrows...
Interpretation of this subtype, to extract sample values:
- basic type: pick a value
- open record type: add some extra field not listed
- intersection of arrow types: ...
- intersection of arrow types: any abstraction with this interface
Raises Not_found for an empty type
**)
......
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