☰
jon.recoil.org
blog
notebooks
projects
reference
Module
Jkind.Base_and_axes
val
jkind_desc_of_const :
'd
Types.jkind_const_desc
->
'd
Types.jkind_desc