Skip to content
Snippets Groups Projects
Commit 6b2f2e04 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[doc] fix ambiguous docstrings

parent 1e5c280c
No related branches found
No related tags found
No related merge requests found
......@@ -100,6 +100,7 @@ module type Get = sig
val typeinfo: t -> typeinfo -> typeinfo
val stmt: t -> stmt -> stmt
(** @plugin development guide *)
val logic_info: t -> logic_info -> logic_info
val logic_type_info: t -> logic_type_info -> logic_type_info
val fieldinfo: t -> fieldinfo -> fieldinfo
......@@ -107,6 +108,7 @@ module type Get = sig
val logic_var: t -> logic_var -> logic_var
val kernel_function: t -> kernel_function -> kernel_function
(** @plugin development guide *)
val fundec: t -> fundec -> fundec
end
......
......@@ -291,6 +291,7 @@ module type S_with_collections = sig
include S
module Set: Set with type elt = t
(** @plugin development guide *)
module Map: Map with type key = t
module Hashtbl: Hashtbl with type key = t
(** @plugin development guide *)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment