Module Layout.Const
type t = Jkind_types.Layout.Const.tval get_sort : t -> Sort.Const.t optionval of_sort_const : Sort.Const.t -> Scannable_axes.t -> tval to_string : t -> stringLayout.Consttype t = Jkind_types.Layout.Const.tval get_sort : t -> Sort.Const.t optionval of_sort_const : Sort.Const.t -> Scannable_axes.t -> tval to_string : t -> string