sig   type t = Var(VVF).t = Var of VVF.t   type 'a parse_func = string -> 'a VVF.parse_func   type 'a parse_opt_func = string -> 'a VVF.parse_opt_func   type 'a generate_func = string -> 'a VVF.generate_func   val parse : t -> 'a parse_func -> 'a route   val parse_opt : t -> 'a parse_opt_func -> 'a route   val generate : t -> string list generate_func   val generate_ : string list -> t -> string list generate_func   val to_fragment : t -> string generate_func   val to_fragment_ : string -> t -> string generate_func   val var : VVF.t -> t end