Domain_sig.Convert_to_monadic
module D : Base
module Conversion : sig ... end
module Types : sig ... end
module Boolean_Forward : sig ... end
module Binary_Forward : sig ... end
module Memory_Forward : sig ... end