| IPProcedural (* procedural rendering *)
| IPNoDefaults (* no default-based tactics *)
| IPLevel of int (* granularity level *)
| IPDepth of int (* undocumented *)
| IPComments (* show statistics *)
| IPProcedural (* procedural rendering *)
| IPNoDefaults (* no default-based tactics *)
| IPLevel of int (* granularity level *)
| IPDepth of int (* undocumented *)
| IPComments (* show statistics *)