end
(** @param set_star callback used to set the modified symbol (usually a star
* "*") on the side of a script name *)
val script:
end
(** @param set_star callback used to set the modified symbol (usually a star
* "*") on the side of a script name *)
val script: