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