Module type LogtkInterfaces.MONOID

module type MONOID = sig .. end

type t 
val zero : t
val plus : t ->
t -> t