Source

z3 / src / api / ml / mlx_sort_refine.idl

Full commit
1
2
3
4
5
6
7
8
/* Copyright (c) Microsoft Corporation */

quote(mli,"
(**
   Summary: \[ [ sort_refine c s ] \] is the refined view of [s].
*)
val sort_refine: context -> sort -> sort_refined
");