OptionKf.Map
module Key : Frama_c_kernel.Datatype.S with type t = key
Datatype for the keys of the map.
module Make
(Data : Frama_c_kernel.Datatype.S) :
Frama_c_kernel.Datatype.S with type t = Data.t t
Build a datatype of the map according to the datatype of values in the map.
val pretty :
?pre:Frama_c_kernel.Pretty_utils.sformat ->
?sep:Frama_c_kernel.Pretty_utils.sformat ->
?arrow:Frama_c_kernel.Pretty_utils.sformat ->
?suf:Frama_c_kernel.Pretty_utils.sformat ->
?empty:Frama_c_kernel.Pretty_utils.sformat ->
'a Frama_c_kernel.Pretty_utils.formatter ->
'a t Frama_c_kernel.Pretty_utils.formatter