package catala

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val init_backend : unit -> unit
type backend_context
val make_context : Shared_ast.decl_ctx -> backend_context
type vc_encoding
val print_encoding : vc_encoding -> string
type model
type solver_result =
  1. | ProvenTrue
  2. | ProvenFalse of model option
  3. | Unknown
val solve_vc_encoding : backend_context -> vc_encoding -> solver_result
val print_model : backend_context -> model -> string
val is_model_empty : model -> bool
OCaml

Innovation. Community. Security.