def
/
lwd
1
0
Fork 0

No need to prove that abstract types in struct are different

Dieser Commit ist enthalten in:
Frédéric Bour 2020-05-15 11:18:30 +02:00 committet von Frédéric Bour
Ursprung efff3a2102
Commit e714cdde9c
1 geänderte Dateien mit 3 neuen und 3 gelöschten Zeilen

Datei anzeigen

@ -77,9 +77,9 @@ let (++) (x : requirement) (y : requirement) : requirement =
type ui = Nottui.ui
(* Category of intermediate nodes *)
type flat = private Flat
type nonflat = private Nonflat
type uncached = private Uncached
type flat
type nonflat
type uncached
type 'a ui_cache =
| (* A placeholder for a cache that is empty *)