Layout.Const
type t = Jkind_types.Layout.Const.t
val get_sort : t -> Sort.Const.t option
val of_sort_const : Sort.Const.t -> Scannable_axes.t -> t
val to_string : t -> string