Up

module Infer

: sig
#
val ntvar : string -> string
#
val depend : UnparameterizedSyntax.grammar -> 'a
end