Searched refs:domain_backward (Results 1 – 1 of 1) sorted by relevance
509 static Signature domain_backward = variable877 { "preimage_domain", { domain_backward } },885 { "pullback", { domain_backward, bind_domain } },