package macaque

  1. Overview
  2. Docs

standard view injections (in pa_comp, view antiquotations)

val one : < t : 'a row_t ; nul : non_nullable.. > t -> ('a, non_writable) view