package lustre-v6

  1. Overview
  2. Docs

Expand Meta operators (red, map, etc.)

val doit : LicPrg.t -> LicPrg.t
val doit_boolred : LicPrg.t -> LicPrg.t

expand only boolred

OCaml

Innovation. Community. Security.