Commit bc94b335 authored by POTTIER Francois's avatar POTTIER Francois

Comment.

parent f40875b5
......@@ -17,6 +17,7 @@ class ['self] reduce = object (_ : 'self)
Atom.Set.empty
(* The monoid of sets of atoms, equipped with disjoint union, is used. *)
(* This can cause a [NonDisjointUnion] exception to be raised. *)
inherit [_] Atom.Set.disjoint_union_monoid
(* The atom [x] is added to the set of bound atoms when its scope is
......
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