let save_serialized_precomputation preprocess filename = --> let serialization = Marshal.to_bytes preprocess [] in let chan = open_out_bin filename in Marshal.to_channel chan serialization [] ; close_out_noerr chan let load_serialized_precomputation filename = let chan = open_in_bin filename in Marshal.from_channel chan [invalid] output_value: abstract value (Custom)