Documentation comments.
This commit is contained in:
parent
b83e95f540
commit
db6dd05f10
|
@ -369,12 +369,13 @@ end
|
|||
|
||||
module type TEVAR = sig
|
||||
|
||||
(**The type of term variables. *)
|
||||
(**A type of variables. *)
|
||||
type t
|
||||
|
||||
(** @inline *)
|
||||
include Hashtbl.HashedType with type t := t
|
||||
|
||||
(**A conversion of term variables to strings. This function is used for
|
||||
(**A conversion of variables to strings. This function is used for
|
||||
debugging purposes only. *)
|
||||
val to_string: t -> string
|
||||
|
||||
|
|
Loading…
Reference in New Issue