sig
  type t
  type namespace
  val term : Ast_zf.Id.namespace
  val mk : Ast_zf.Id.namespace -> string -> Ast_zf.Id.t
end