File tree Expand file tree Collapse file tree 2 files changed +24
-14
lines changed Expand file tree Collapse file tree 2 files changed +24
-14
lines changed Original file line number Diff line number Diff line change @@ -19,15 +19,20 @@ open Or_error
19
19
* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
20
20
*)
21
21
22
+ type package_spec = { package : string ; output : Fpath .t }
23
+ type parent_spec = {
24
+ parent : string option ;
25
+ children : string list ;
26
+ output : Fpath .t ;
27
+ }
28
+
29
+ type parent_id_spec = { parent_id : string ; output_dir : string }
30
+
22
31
type cli_spec =
23
32
| CliNoParent of Fpath .t
24
- | CliPackage of { package : string ; output : Fpath .t }
25
- | CliParent of {
26
- parent : string option ;
27
- children : string list ;
28
- output : Fpath .t ;
29
- }
30
- | CliParentId of { parent_id : string ; output_dir : string }
33
+ | CliPackage of package_spec
34
+ | CliParent of parent_spec
35
+ | CliParentId of parent_id_spec
31
36
32
37
type spec = {
33
38
parent_id : Paths.Identifier.ContainerPage .t option ;
Original file line number Diff line number Diff line change @@ -18,15 +18,20 @@ open Odoc_model
18
18
open Odoc_model.Paths
19
19
open Or_error
20
20
21
+ type package_spec = { package : string ; output : Fpath .t }
22
+ type parent_spec = {
23
+ parent : string option ;
24
+ children : string list ;
25
+ output : Fpath .t ;
26
+ }
27
+
28
+ type parent_id_spec = { parent_id : string ; output_dir : string }
29
+
21
30
type cli_spec =
22
31
| CliNoParent of Fpath .t
23
- | CliPackage of { package : string ; output : Fpath .t }
24
- | CliParent of {
25
- parent : string option ;
26
- children : string list ;
27
- output : Fpath .t ;
28
- }
29
- | CliParentId of { parent_id : string ; output_dir : string }
32
+ | CliPackage of package_spec
33
+ | CliParent of parent_spec
34
+ | CliParentId of parent_id_spec
30
35
31
36
val name_of_output : prefix :string -> Fs.File .t -> string
32
37
(* * Compute the name of the page from the output file. Prefix is the prefix to
You can’t perform that action at this time.
0 commit comments