sig val load_driver : unit -> LogicBuiltins.driver end