Module Wp.Driver

val load_driver : unit -> LogicBuiltins.driver

Memoized loading of drivers according to current WP options. Finally sets LogicBuiltins.driver and returns it.