Module Model.Static.ENTRIES

module ENTRIES: Datatype.Make(sig

type t = Model.Static.entries 

include Datatype.Serializable_undefined

val reprs : Model.Static.entries list
val name : string
end)

include Datatype.S_no_copy

val copy : Datatype.t -> Datatype.t