val</span> rel_of : <span><span><span><span>(<a href="../State__Base/Exp/index.html#type-var">State__Base.Exp.var</a>, <a href="../Ast/index.html#type-no">Ast.no</a>)</span> <a href="../Exp/Typed/index.html#type-t">ExTy.t</a></span> <a href="index.html#type-pair">pair</a></span> list</span> <span>&#45;&gt;</span> <a href="../State__Base/Tval/index.html#type-t">Tval.t</a> <span>&#45;&gt;</span> <a href="../State__Base/Tval/index.html#type-t">Tval.t</a> <span>&#45;&gt;</span> <span><span>(<a href="../State__