package p4spectec
Module Func.Prose
type prose = Lang.Pl.Annot.hints * Lang.Pl.definedfuncmodule Value : sig ... endmodule Anchor : Splicer.ANCHORmodule Splicer : Splicer.SPLICERFunc.Prosetype prose = Lang.Pl.Annot.hints * Lang.Pl.definedfuncmodule Value : sig ... endmodule Anchor : Splicer.ANCHORmodule Splicer : Splicer.SPLICER