Function names_module 

pub fn names_module(bodies: &[Value], plcs: &[Option<String>]) -> String

The 0.2 --format names module: export type TagName = "..." | ...;. plcs are as passed on the command line (one body each); names are qualified as PLC/tag when there is more than one.