fix doc
This commit is contained in:
parent
ecf51388d5
commit
c0f78eddb2
@ -1,6 +1,7 @@
|
||||
(** Module defining types used to represent a config. *)
|
||||
|
||||
(** A directive has a name, a list of parameters and a list of children. *)
|
||||
(** A directive has a name, a list of parameters and children (a list of
|
||||
directive). *)
|
||||
type directive =
|
||||
{ name : string
|
||||
; params : string list
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user