module Input : sig ... end
module Output : sig ... end