package colibrics

  1. Overview
  2. Docs

Source file constraints__boolPresent__C.ml

1
2
3
4
5
6
7
8
9
10
11
type t = Cp__Var0.tb

let compute_vars_ti (_c: t) (_si: Cp__Impl0.Si.t) : unit = ()

let compute_vars_tb (c: t) (sb: Cp__Impl0.Sb.t) : unit =
  (Cp__Impl0.Sb.add sb c)

let propagate (_e: (Cp__DomI.t, Cp__DomB.t) Cp__Type.env) (_c: t) : unit = ()

let check_model (_mo: (Z.t, bool) Cp__Type.model) (_c: t) : bool = true