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

[prop = Prop];