Layout.Const
type t =
| Any
| Base of Jkind_types.Sort.base
| Product of Jkind_types.Layout.Const.t list