package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Linearity : sig ... end

val lin_any : Linearity.t

val lin_unl : Linearity.t

module DeclaredLinearity : 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

type subkind = Linearity.t * Restriction.t

val equal_subkind : subkind -> subkind -> Ppx_deriving_runtime.bool

val pp_subkind : 
  Ppx_deriving_runtime.Format.formatter ->
  subkind ->
  Ppx_deriving_runtime.unit

val show_subkind : subkind -> Ppx_deriving_runtime.string

val min_subkind : 
  (Linearity.t * Restriction.t) ->
  (Linearity.t * Restriction.t) ->
  (Linearity.t * Restriction.t) option

val string_of_subkind : (Linearity.t * Restriction.t) -> string

module PrimaryKind : sig ... end

val pk_type : PrimaryKind.t

val pk_row : PrimaryKind.t

val pk_presence : PrimaryKind.t

module Location : sig ... end

val loc_client : Location.t

val loc_server : Location.t

val loc_native : Location.t

val loc_unknown : Location.t

type freedom = [

]

val pp_freedom : 
  Ppx_deriving_runtime.Format.formatter ->
  freedom ->
  Ppx_deriving_runtime.unit

val show_freedom : freedom -> Ppx_deriving_runtime.string

module Primitive : sig ... end

module Constant : sig ... end