type value =
| Int of int |
| Float of float |
| String of string |
| List of value_list |
and value_list = (string * value) list
module Parse : functor (B : Builder.S) -> functor (L : sig ... end) -> sig ... end
module type G = sig ... end
module Print : functor (G : G) -> functor (L : sig ... end) -> sig ... end