Module `Domains.Log`

module In_bits = Units.In_bits

module Make_Conversion (Log : Tracelog.S) (Sub : Sig.BASE) : sig ... end

module 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.Context

module 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

Module Domains.Log

Module `Domains.Log`