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