Module Markfunctions

type info = {
  1. inputs : Causal.S.t;
  2. outputs : Causal.S.t;
  3. o_table : Causal.S.t Causal.M.t;
  4. io_table : Causal.S.t Causal.M.t;
}
val funexp_info : Zelus.funexp -> info
val to_inline : info -> Defcaus.tc list -> Defcaus.tc -> bool
val funexp_mark_to_inline : info -> Zelus.funexp -> Zelus.funexp