···432432 in
433433 loop [] pairs
434434435435- (* GADT representation for type-safe encoding without Obj.magic *)
436435 type (_, _) mem =
437436 | Return : 'a -> ('o, 'a) mem
438437 | Mem : {
···591590 in
592591 loop [] pairs
593592594594- (* GADT representation for type-safe encoding without Obj.magic *)
595593 type (_, _) mem =
596594 | Return : 'a -> ('o, 'a) mem
597595 | Mem : {