AltErgoLib.Models
val output_concrete_model :
Stdlib.Format.formatter ->
AltErgoLib.Expr.Set.t ->
functions:ModelMap.t ->
constants:ModelMap.t ->
arrays:ModelMap.t ->
unit
Print the given counterexample on the given formatter with the corresponding format set with Options.get_output_format.