Module Emitter.Usable_emitter

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.