Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
3aa4b435
Commit
3aa4b435
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2002-11-01 22:06:20 by cvscast] Empty log message
Original author: cvscast Date: 2002-11-01 22:06:20+00:00
parent
cc49a55b
Changes
1
Hide whitespace changes
Inline
Side-by-side
types/types.ml
View file @
3aa4b435
...
...
@@ -588,7 +588,13 @@ This version explodes when dealing with
in
List
.
fold_left
line
[]
d
(* Partitioning *)
(* Partitioning:
(t,s) - ((t1,s1) | (t2,s2) | ... | (tn,sn))
=
(t & t1, s - s1) | ... | (t & tn, s - sn) | (t - (t1|...|tn), s)
*)
let
get_aux
d
=
let
accu
=
ref
[]
in
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment