Lines Matching defs:axioms
142 fun axioms () = !(#AXIOM count)
147 fun total () = axioms () + defns () + from_disk () + oracles () + prims ()
187 type meter = {axioms: int, defns: int, disk: int, oracles: int, prims: int}
191 {axioms = axioms (),
197 fun read {axioms = a0, defns = d0, disk = f0, oracles = or0, prims = p0} =
199 val {axioms, defns, disk, oracles, prims} = mk_meter ()
201 {axioms = axioms-a0,
211 fun report {axioms, defns, disk, oracles, prims} =
213 [("Axioms", axioms),
218 ("; Total", axioms + defns + disk + oracles + prims)]