module type Lookup =sig
..end
type 'a
table
The parameter is the type of auxiliary expansion data (the first
parameter of a called macro, and the data
parameter of the
Kwmacro.Make.expand
function).
val create : (string * 'a Kwmacro.func) list -> 'a table
val lookup : 'a table -> string -> 'a Kwmacro.func
Undef
raised (with name
as parameter) if name
is not found.