sig val file : string -> Name.Set.t * Ast.stm end