package alba

  1. Overview
  2. Docs
type name_violation =
  1. | Upper_for_proposition
  2. | Lower_for_type
  3. | Upper_for_object
val strings_of_violation : name_violation -> string * string
module type GAMMA = sig ... end
module Make (Gamma : GAMMA) : sig ... end