Pa_passthru.Ctxttype t = {filename : string;_module_path : string list;options : (string * MLast.expr) list;ef : EF.t;scratch : (string * scratchdata_t) list;refscratch : (string * scratchdata_t) list ref;}val module_path : t -> string listval module_path_s : t -> stringval filename : t -> stringval add_options : t -> (string * MLast.expr) list -> tval option : t -> string -> MLast.exprval options : t -> (string * MLast.expr) listval scratchdata : t -> string -> scratchdata_tval init_scratchdata : t -> string -> scratchdata_t -> tval update_scratchdata : t -> string -> scratchdata_t -> tval refscratchdata : t -> string -> scratchdata_tval init_refscratchdata : t -> string -> scratchdata_t -> unit