package z3

  1. Overview
  2. Docs
type apply_result
val get_num_subgoals : apply_result -> int
val get_subgoals : apply_result -> Goal.goal list
val get_subgoal : apply_result -> int -> Goal.goal
val to_string : apply_result -> string