sig   type t = Var(Final).t = Var of Final.t   type 'a parse_func = string -> 'a Final.parse_func   type 'a parse_opt_func = string -> 'a Final.parse_opt_func   type 'a generate_func = string -> 'a Final.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 : Final.t -> t end