package p4spectec
Module Source.Init
type key = Key.ttype value = Value.tval init : Lang.El.spec -> Lang.Pl.spec -> (key * value) listSource.Inittype key = Key.ttype value = Value.tval init : Lang.El.spec -> Lang.Pl.spec -> (key * value) list