sh_script : string;
}
+type preinfo = {
+ pi_job_name : string;
+ pi_serial : Big_int.big_int;
+}
+
+type result = {
+ res_job_name : string;
+ res_serial : Big_int.big_int;
+ res_code : int;
+ res_tmpdir : string;
+ res_output : string;
+ res_start_time : float;
+}
+
+type pre = preinfo -> bool
+type post = result -> unit
+
type variable =
| T_unit
| T_bool of bool
type job = {
job_loc : Loc.t;
job_name : string;
+ job_pre : pre option;
+ job_post : post option;
job_cond : job_cond;
job_script : shell_script;
}