@@ 1,1 0,0 @@ 
-include Revops_univ_fn.Make(Revops)

          

@@ 1,2 0,0 @@ 
-(* Reversible operations using Univ_map as its state type. *)
-include Revops_univ_intf.S with type 'a R.Oprev.t = 'a Revops.Oprev.t

          

@@ 1,28 0,0 @@ 
-module Make = functor (Revops : Revops_intf.S) -> struct
-  module R = Revops
-
-  module M = Revops.M
-
-  module KeyOprev = struct
-    type 'a t = 'a Univ_map.Key.t * 'a Revops.Oprev.t
-  end
-
-  let noop =
-    Revops.Oprev.make
-      (CCFun.const (M.return Univ_map.empty))
-      (CCFun.const (M.return ()))
-
-  let extend first (key, oprev) =
-    let introduce map value = M.return (Univ_map.set map key value) in
-    let eliminate_second map = M.return (Univ_map.find_exn map key) in
-    Revops.compose
-      ~introduce
-      ~eliminate_first:M.return
-      ~eliminate_second
-      ~first
-      ~second:oprev
-
-  let ( +> ) = extend
-
-  let key name = Univ_map.Key.create ~name sexp_of_opaque
-end

          

@@ 1,4 0,0 @@ 
-(* Reversible operations using Univ_map as its state type. *)
-
-module Make : functor (Revops : Revops_intf.S) ->
-    (Revops_univ_intf.S with type 'a R.Oprev.t = 'a Revops.Oprev.t)

          

@@ 1,23 0,0 @@ 
-module type S = sig
-  module R : Revops_intf.S
-
-  module KeyOprev : sig
-    type 'a t = 'a Univ_map.Key.t * 'a R.Oprev.t
-  end
-
-  (* A Univ_map revop that does nothing. *)
-  val noop : Univ_map.t R.Oprev.t
-
-  (* Extend a Univ_map revop with a 'a Revop. *)
-  val extend : Univ_map.t R.Oprev.t ->
-               'a KeyOprev.t ->
-	       Univ_map.t R.Oprev.t
-
-  (* Infix operator version of extend. *)
-  val ( +> ) : Univ_map.t R.Oprev.t ->
-	       'a KeyOprev.t ->
-	       Univ_map.t R.Oprev.t
-
-  (* Creates a Univ_map.Key.t with the opaque serializer. *)
-  val key : string -> 'a Univ_map.Key.t
-end