Parameter Make0.1-Inputs

module Bool : sig ... end
module Field : sig ... end
module Scalar : sig ... end
module Group : sig ... end
module Hash : sig ... end