Searched defs:constant (Results 1 - 1 of 1) sorted by relevance

/ontohub/lib/hets/prove/
H A Dparser.rb32 hierarchy == constant(const_name)
39 def constant(const_name) method in class:Hets.Prove.Parser

Completed in 17 milliseconds