links

The Links Programming Language
IN THIS PACKAGE
module Linearity : sig ... end
val lin_any : Linearity.t
val lin_unl : Linearity.t
module DeclaredLinearity : sig ... end
module Timestamp : sig ... end
val dl_lin : DeclaredLinearity.t
val dl_unl : DeclaredLinearity.t
module Restriction : sig ... end
val res_any : Restriction.t
val res_base : Restriction.t
val res_mono : Restriction.t
val res_session : Restriction.t
val res_effect : Restriction.t
module Subkind : sig ... end
module PrimaryKind : sig ... end
val pk_type : PrimaryKind.t
val pk_row : PrimaryKind.t
val pk_presence : PrimaryKind.t
module Kind : sig ... end
module Quantifier : sig ... end
module Location : sig ... end
val loc_client : Location.t
val loc_server : Location.t
val loc_unknown : Location.t
module Freedom : sig ... end
module Name : sig ... end
module Label : sig ... end
module ForeignLanguage : sig ... end
module Primitive : sig ... end
module Constant : sig ... end
module QueryPolicy : sig ... end
module Temporality : sig ... end
module TemporalField : sig ... end