sig module Env : Env.S val register : unit -> unit end