Solver.NTbl
type 'a t
type key = N.t
type size
val get : 'a NTbl.t -> NTbl.key -> 'a
val set : 'a NTbl.t -> NTbl.key -> 'a -> unit
val make : NTbl.size -> 'a -> 'a NTbl.t