Module Event.Op
type t= op
val serialize : t Imandra_util.Serialize.tval execute : t -> unitExecute action corresponding to op
Event.Optype t = opval serialize : t Imandra_util.Serialize.tval execute : t -> unitExecute action corresponding to op