package lustre-v6

  1. Overview
  2. Docs
package lustre-v6
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Parameter Make.PO

type elt
type store
val have_dep : store -> elt -> bool
val find_dep : store -> elt -> elt list
val remove_dep : store -> elt -> store