Module Single_value_abstraction.Log

Automatically log the calls to a basis in the trace.

module Sig : sig ... end

Logs all calls to Sub using Tracelog.

Does not logs all calls to Sub using Tracelog; directly use Sub.