links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Types . Policy
type kind_policy =
| Default
| Full
| Hide
module EffectSugar : sig ... end
type t = {
quantifiers : bool;
flavours : bool;
hide_fresh : bool;
kinds : kind_policy;
effect_sugar : bool;
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