Make_Conv.1-C
type 'a _from
type _to
val kind_of : 'a _from -> ('a _from, _to) kind
val arr : _to list -> _to
val obj : (string * _to) list -> _to