Function write_aig 

pub fn write_aig<'a>(
    aig: &Aig<U>,
    output: impl Write + 'a,
) -> Result<(), AigError>

Write an AIG to an ASCII file