sig
  val restore : ctxt:OASISContext.t -> unit -> unit
  val generate :
    ctxt:OASISContext.t ->
    restore:bool ->
    backup:bool ->
    setup_fn:OASISTypes.host_filename ->
    ?nocompat:bool ->
    ?oasis_exec:OASISTypes.host_filename ->
    ?oasis_fn:OASISTypes.host_filename ->
    ?oasis_setup_args:string list ->
    OASISSetupUpdate.t ->
    OASISTypes.package -> OASISFileTemplate.file_generate_change list
end