Pa_passthru.Ctxt
type 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 list
val module_path_s : t -> string
val filename : t -> string
val add_options : t -> (string * MLast.expr) list -> t
val option : t -> string -> MLast.expr
val options : t -> (string * MLast.expr) list
val scratchdata : t -> string -> scratchdata_t
val init_scratchdata : t -> string -> scratchdata_t -> t
val update_scratchdata : t -> string -> scratchdata_t -> t
val refscratchdata : t -> string -> scratchdata_t
val init_refscratchdata : t -> string -> scratchdata_t -> unit