Module Make.State

type t = unit