src/Tools/Code/code_runtime.ML

     val computation = Code_Thingol.static_value { ctxt = ctxt,
       lift_postproc = Exn.map_res o lift_postproc, consts = consts }
       computation';
   in fn ctxt' => computation ctxt' o reject_vars ctxt' end;
 
-fun static_value_strict cookie = Exn.release ooo static_value_exn cookie;
-
-fun static_value cookie = partiality_as_none ooo static_value_exn cookie;
+fun static_value_strict cookie x = Exn.release oo static_value_exn cookie x;
+
+fun static_value cookie x = partiality_as_none oo static_value_exn cookie x;
 
 
 (* evaluation for truth or nothing *)
 
 structure Truth_Result = Proof_Data

       (compile_computation cookie ctxt cs_code cTs T);
   in fn ctxt' =>
     computation ctxt' o reject_vars ctxt' o Syntax.check_term ctxt' o Type.constraint T
   end;
 
-fun fully_static_value_strict cookie = Exn.release ooo fully_static_value_exn cookie;
-
-fun fully_static_value cookie = partiality_as_none ooo fully_static_value_exn cookie;
+fun fully_static_value_strict cookie x = Exn.release oo fully_static_value_exn cookie x;
+
+fun fully_static_value cookie x = partiality_as_none oo fully_static_value_exn cookie x;
 
 
 (** code antiquotation **)
 
 local