import html_templates::html_model # FIXME maybe this phase should depend on `html_render`
private import json::static
import html_templates::html_model # FIXME maybe this phase should depend on `html_render`
private import json::static
if not doc.mpropdefs.has(mpropdef) then continue
var full_name = mpropdef.mclassdef.mclass.full_name
var cls_url = mpropdef.mclassdef.mclass.nitdoc_url
if not doc.mpropdefs.has(mpropdef) then continue
var full_name = mpropdef.mclassdef.mclass.full_name
var cls_url = mpropdef.mclassdef.mclass.nitdoc_url