sig val load_driver : unit -> Wp.LogicBuiltins.driver end