Module 1-C.Tbl

val find_opt : t -> (constr * int) option
val add : t -> (constr * int) -> unit