sig val init : ctxt:OASISContext.t -> OASISTypes.package -> unit end