Module `Smyth.Rank`

val rank : (Lang.hole_name * Lang.exp) list -> int: Computes a rank for a synthesis solution (lower is better).

val sort : (Lang.hole_name * Lang.exp) list list -> (Lang.hole_name * Lang.exp) list list: Sorts a list of synthesis solutions by rank.

val first_recursive : (Lang.hole_name * Lang.exp) list list -> (Lang.hole_name * Lang.exp) list option: Returns the best-ranked recursive synthesis solution from a list.