1. Arlen Cox
  2. z3

Source

z3 / src / api / ml / mlx_numeral_refine.idl

/* Copyright (c) Microsoft Corporation */

quote(mli,"
(**
   Summary: \[ [ numeral_refine c a ] \] is the refined view of [a].

   - {b Precondition}: [get_ast_kind c a = NUMERAL_AST]
*)
val numeral_refine : context -> ast -> numeral_refined
");