Module Wp.Driver

module Driver: sig .. end

val load_driver : unit -> Wp.LogicBuiltins.driver
Memoized loading of drivers according to current WP options. Finally sets LogicBuiltins.driver and returns it.