sig val checks : Check.t list val outputs : Output.t list end