package caqti

  1. Overview
  2. Docs

Module Caqti_template.Row_multSource

Row multiplicity.

Sourcetype +'m t constraint 'm = [< `Zero | `One | `Many ]
Sourcetype zero = [
  1. | `Zero
]
Sourcetype one = [
  1. | `One
]
Sourcetype zero_or_one = [
  1. | `Zero
  2. | `One
]
Sourcetype zero_or_more = [
  1. | `Zero
  2. | `One
  3. | `Many
]
Sourceval zero : [> `Zero ] t
Sourceval one : [> `One ] t
Sourceval zero_or_one : [> `Zero | `One ] t
Sourceval zero_or_more : [> `Zero | `One | `Many ] t
Sourceval only_zero : [< `Zero ] t -> unit
Sourceval only_one : [< `One ] t -> unit
Sourceval only_zero_or_one : [< `Zero | `One ] t -> unit
Sourceval expose : 'm t -> [ `Zero | `One | `Zero_or_one | `Zero_or_more ]
Sourceval can_be_zero : 'm t -> bool
Sourceval can_be_many : 'm t -> bool