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.