package catala

You can search for identifiers within the package.

in-package search v0.2.0

Module `Verification.Solver`Source

Solves verification conditions using various proof backends

val solve_vc : 
  Dcalc.Ast.program ->
  Dcalc.Ast.decl_ctx ->
  Conditions.verification_condition list ->
  unit