package colibrics

  1. Overview
  2. Docs

Source file cp__DomB.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
type t =
  | Top
  | V of (bool)

type value = bool

let default_value (_: unit) : bool = true

let get_singleton (d: t) : bool =
  match d with
  | Top -> raise Cp__Type.Unsat
  | V b -> b

let is_singleton (d: t) : ((bool) list) Cp__Type.is_singleton =
  match d with
  | Top -> Cp__Type.Iter (true :: false :: [] )
  | V _ -> Cp__Type.Is_singleton

let mk_singleton (v: bool) : t = V v