Commit 18378670 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix typo.

parent 8a6f61ed
......@@ -30,37 +30,35 @@ val create_label : string -> label
(* functions for working with counterexample model labels *)
val remove_model_labels : labels : Slab.t -> Slab.t
(** Returns a copy of labels without labels "model" and "model_projected". *)
(** Returns a copy of labels without labels ["model"] and ["model_projected"]. *)
val append_to_model_trace_label : labels : Slab.t ->
to_append : string ->
Slab.t
(** The returned set of labels will contain the same set of labels
as argument labels except that a label of the form "model_trace:*"
will be "model_trace:*to_append."*)
as argument labels except that a label of the form ["model_trace:*"]
will be ["model_trace:*to_append"]. *)
val append_to_model_element_name : labels : Slab.t ->
to_append : string ->
Slab.t
(** The returned set of labels will contain the same set of labels
as argument labels except that a label of the form "model_trace:name@context"
will be "model_trace:nameto_append@context."*)
as argument labels except that a label of the form ["model_trace:*@*"]
will be ["model_trace:*to_append@*"]. *)
val get_model_element_name : labels : Slab.t -> string
(** If labels contain a label of the form "model_trace:name@*",
return name.
Throws Not_found if there is no element name (there is no
label of the form "model_trace:+". *)
(** If labels contain a label of the form ["model_trace:name@*"],
return ["name"].
Throws [Not_found] if there is no label of the form ["model_trace:*"]. *)
val get_model_trace_string : labels : Slab.t -> string
(** If labels contain a label of the form "model_trace:mt_string*",
return mt_string.
Throws Not_found if there is no mt_string (there is no
label of the form "model_trace:*". *)
(** If labels contain a label of the form ["model_trace:mt_string"],
return ["mt_string"].
Throws [Not_found] if there is no label of the form ["model_trace:*"]. *)
val get_model_trace_label : labels : Slab.t -> Slab.elt
(** Return label of the for "model_trace:*".
Throws Not_found if there is no such label.*)
(** Return a label of the form ["model_trace:*"].
Throws [Not_found] if there is no such label. *)
(** {2 Identifiers} *)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment