path: root/etc/lego/multiple/B.l

(* B.l Module with a comment *)
Module B;

[prop = Prop];