module type Action = sig .. end
sig
end
type t
val mk : 'a -> t
'a -> t
val get : t -> 'a
t -> 'a
val getf : t -> 'a -> 'b
t -> 'a -> 'b
val getf2 : t -> 'a -> 'b -> 'c
t -> 'a -> 'b -> 'c