sig module Region : REGION val clo : int -> Region.t -> Region.t end