package links

  1. Overview
  2. Docs
Package contains no libraries
type kind_policy =
  1. | Default
  2. | Full
  3. | Hide
module EffectSugar : sig ... end
type t = {
  1. quantifiers : bool;
  2. flavours : bool;
  3. hide_fresh : bool;
  4. kinds : kind_policy;
  5. effect_sugar : bool;
  6. es_policy : EffectSugar.t;
}
val default_policy : unit -> t
val quantifiers : t -> bool
val flavours : t -> bool
val hide_fresh : t -> bool
val kinds : t -> kind_policy
val effect_sugar : t -> bool
val es_policy : t -> EffectSugar.t
val set_quantifiers : bool -> t -> t
val set_flavours : bool -> t -> t
val set_hide_fresh : bool -> t -> t
val set_kinds : kind_policy -> t -> t
val set_effect_sugar : bool -> t -> t