package colibrics

  1. Overview
  2. Docs

Module Var.BSource

Sourcetype t
Sourceval mk : Context.t -> t
Sourceval get : Model.t -> t -> bool
Sourceval true_ : t