jon.recoil.org

Module Jkind.Base_and_axes

val jkind_desc_of_const : 'd Types.jkind_const_desc -> 'd Types.jkind_desc