-
BRUN Lelio authoredf1896ffa
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
lustre_live.mli 254 B
open Utils
open Lustre_types
val inter_live_i_with : ident -> int -> var_decl list -> var_decl list
val set_live_of : ident -> var_decl list -> var_decl list -> eq list -> unit
val existential_vars : ident -> int -> eq -> var_decl list -> var_decl list