module Usable_emitter:sig
..end
Usable emitters are the ones which can really emit something.
include Datatype.S_with_collections
val get : t -> Emitter.emitter
Get the emitter from an usable emitter. Not so efficient.
val get_name : t -> string
val get_unique_name : t -> string
val correctness_parameters : t -> string list
val tuning_parameters : t -> string list
val pretty_parameter : Stdlib.Format.formatter -> tuning:bool -> t -> string -> unit
Pretty print the parameter (given by its name) with its value.
Not_found
if the parameter is not one of the given emitter