package p4spectec

  1. Overview
  2. Docs
package p4spectec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Prose.Init

type key = Key.t
type value = Value.t
val init : Lang.El.spec -> Lang.Pl.spec -> (key * value) list