Searched defs:printprec (Results 1 – 3 of 3) sorted by relevance
47 public static int printprec = 15; field in Environment
933 static int printprec = 6; field in Jlisp
964 static int printprec = 6; field in Jlisp