package lustre-v6

  1. Overview
  2. Docs

Parameters

module PO : PartialOrder

Signature

type elt = PO.elt
type store = PO.store
exception DependencyCycle of elt * elt list
val check_there_is_no_cycle : store -> elt list -> unit
val f : store -> elt list -> elt list
OCaml

Innovation. Community. Security.