pub fn interface(module: &Module) -> Result<String, Error>