Parameter WithLog.1-Log

type t;
module Monoid: BsBastet.Interface.MONOID with type Monoid.t = t;