module Usable_emitter: sig
.. end
Usable emitters are the ones which can really emit something.
Use Emitter.get
to get the one corresponding to a (standard) emitter.
include Datatype.S_with_collections
val get_name : t -> string
val get_unique_name : t -> string
val compare_with_emitter : t -> Emitter.emitter -> int
val correctness_parameters : t -> string list
val tuning_parameters : t -> string list
val pretty_parameter : Format.formatter -> tuning:bool -> t -> string -> unit
Pretty print the parameter (given by its name) with its value.
Raises Not_found
if the parameter is not one of the given emitter