Module Make0

Constructs the initial setup for a control flow graph. The construction is completed by subsequent instatiation of Make1 and Make2.

A complete instantiation can look as follows:

  private module Input implements InputSig1, InputSig2 { .. }
  private module Cfg0 = Make0<Location, Ast>;
  private module Cfg1 = Make1<Input>;
  private module Cfg2 = Make2<Input>;
  private import Cfg0
  private import Cfg1
  private import Cfg2
  import Public