package catala

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module B : Backend

Signature

val init_backend : unit -> unit
type backend_context = B.backend_context
val make_context : Dcalc.Ast.decl_ctx -> Dcalc.Ast.typ Utils.Marked.pos Dcalc.Ast.VarMap.t -> backend_context
type vc_encoding = B.vc_encoding
type model = B.model
type vc_encoding_result =
  1. | Success of vc_encoding * backend_context
  2. | Fail of string
val print_positive_result : Conditions.verification_condition -> string
val print_negative_result : Conditions.verification_condition -> backend_context -> model option -> string
OCaml

Innovation. Community. Security.