sig val init : OASISTypes.package -> unit end