Commit 1f4d5162 authored by POTTIER Francois's avatar POTTIER Francois

Added [unit_monoid].

parent 750acd7a
......@@ -57,6 +57,12 @@ class ['z] addition_monoid = object
method private plus = (+)
end
class ['z] unit_monoid = object
inherit ['z] monoid
method private zero = ()
method private plus () () = ()
end
(* -------------------------------------------------------------------------- *)
(* Visitor methods for the primitive types. *)
......
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