package codex

  1. Overview
  2. Docs
package codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Parameter Make.B

module Scalar : Sig.BASE
type boolean
val compare : boolean -> boolean -> int
val pretty : Format.formatter -> boolean -> unit
val assume : Scalar.Context.t -> boolean -> Scalar.Context.t option
val boolean_empty : Scalar.Context.t -> boolean
val boolean_unknown : Scalar.Context.t -> boolean