Domains.LogSourcemodule Log_Domain
(Log : Tracelog.S)
(Sub : Sig.BASE) :
Sig.BASE
with type Context.t = Sub.Context.t
and type binary = Sub.binary
and type boolean = Sub.boolean
and module Context = Sub.Contextmodule Log_With_Focusing
(Log : Tracelog.S)
(Sub : Memory_domains.With_focusing.S_with_types) :
Memory_domains.With_focusing.S_with_types
with type Context.t = Sub.Context.t
and type binary = Sub.binary
and type boolean = Sub.boolean