Module `Layout.Const`Source

Sourcetype t = Jkind_types.Layout.Const.t

Sourceval get_sort : t -> Sort.Const.t option

Sourceval of_sort_const : Sort.Const.t -> Scannable_axes.t -> t

Sourceval to_string : t -> string