Source file spin.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
(* generated by dune *)

(** @canonical Spin.Config *)
module Config = Spin__Config

(** @canonical Spin.Dec_common *)
module Dec_common = Spin__Dec_common

(** @canonical Spin.Dec_project *)
module Dec_project = Spin__Dec_project

(** @canonical Spin.Dec_template *)
module Dec_template = Spin__Dec_template

(** @canonical Spin.Dec_user_config *)
module Dec_user_config = Spin__Dec_user_config

(** @canonical Spin.Decoder *)
module Decoder = Spin__Decoder

(** @canonical Spin.Encoder *)
module Encoder = Spin__Encoder

(** @canonical Spin.File_generator *)
module File_generator = Spin__File_generator

(** @canonical Spin.Git_template *)
module Git_template = Spin__Git_template

(** @canonical Spin.Helpers *)
module Helpers = Spin__Helpers

(** @canonical Spin.Local_template *)
module Local_template = Spin__Local_template

(** @canonical Spin.Official_template *)
module Official_template = Spin__Official_template

(** @canonical Spin.Pp *)
module Pp = Spin__Pp

(** @canonical Spin.Refmt *)
module Refmt = Spin__Refmt

(** @canonical Spin.Spawn *)
module Spawn = Spin__Spawn

(** @canonical Spin.Spin_error *)
module Spin_error = Spin__Spin_error

(** @canonical Spin.Template *)
module Template = Spin__Template

(** @canonical Spin.Template_actions *)
module Template_actions = Spin__Template_actions

(** @canonical Spin.Template_configuration *)
module Template_configuration = Spin__Template_configuration

(** @canonical Spin.Template_expr *)
module Template_expr = Spin__Template_expr

(** @canonical Spin.User_config *)
module User_config = Spin__User_config