simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-07 11:45:41 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix typo in doc

Browse source
This commit is contained in:
Guillaume Bury 2018-04-18 11:53:55 +02:00
parent 696002bcf7
commit 1722730e26
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/core/res_intf.ml
View file

@ -76,19 +76,19 @@ module type S = sig
(** {3 Proof Nodes} *)
val parents : step -> proof list
(** Returns the parents of a proof node. *)
val is_leaf : step -> bool
(** Returns wether the the proof node is a leaf, i.e. an hypothesis,
an assumption, or a lemma.
[true] if and only if {parents} returns the empty list. *)
[true] if and only if {!parents} returns the empty list. *)
val expl : step -> string
(** Returns a short string description for the proof step; for instance
["hypothesis"] for a [Hypothesis]
(it currently returns the variant name in lowercase). *)
val parents : step -> proof list
(** Returns the parents of a proof node. *)
(** {3 Proof Manipulation} *)