(* SIMP_COMP_WRITER.sml Seth Porter Signature for structures which export a simplicial complex to some file format. *) signature SIMP_COMP_WRITER = sig structure Complex : SIMPLICIAL_COMPLEX (* last two arguments are set-flag and test-flag *) val write : string * 'a Complex.complex * (('a option -> 'a option) * ('a option -> bool))-> unit end