Perms

#

type nobody

Every type in this module besides the following two represent permission sets; these two represent who is allowed to write in the Write.t and Immutable.t types.

#

type me

#

module Read : sig

#

type t = [

| `Read

]

#

val t_of_sexp : Sexplib.Sexp.t -> t

#

val __t_of_sexp__ : Sexplib.Sexp.t -> t

#

val sexp_of_t : t -> Sexplib.Sexp.t

#

val compare : t -> t -> int

#

val bin_t : t Bin_prot.Type_class.t

#

val bin_read_t : t Bin_prot.Read.reader

#

val __bin_read_t__ : (int -> t) Bin_prot.Read.reader

#

val bin_reader_t : t Bin_prot.Type_class.reader

#

val bin_size_t : t Bin_prot.Size.sizer

#

val bin_write_t : t Bin_prot.Write.writer

#

val bin_writer_t : t Bin_prot.Type_class.writer

end

#

module Write : sig

#

type t = [

| `Who_can_write of me

]

#

val t_of_sexp : Sexplib.Sexp.t -> t

#

val __t_of_sexp__ : Sexplib.Sexp.t -> t

#

val sexp_of_t : t -> Sexplib.Sexp.t

#

val compare : t -> t -> int

#

val bin_t : t Bin_prot.Type_class.t

#

val bin_read_t : t Bin_prot.Read.reader

#

val __bin_read_t__ : (int -> t) Bin_prot.Read.reader

#

val bin_reader_t : t Bin_prot.Type_class.reader

#

val bin_size_t : t Bin_prot.Size.sizer

#

val bin_write_t : t Bin_prot.Write.writer

#

val bin_writer_t : t Bin_prot.Type_class.writer

end

#

module Read_only : sig

#

type t = [

| Read.t

]

#

val t_of_sexp : Sexplib.Sexp.t -> t

#

val __t_of_sexp__ : Sexplib.Sexp.t -> t

#

val sexp_of_t : t -> Sexplib.Sexp.t

#

val compare : t -> t -> int

#

val bin_t : t Bin_prot.Type_class.t

#

val bin_read_t : t Bin_prot.Read.reader

#

val __bin_read_t__ : (int -> t) Bin_prot.Read.reader

#

val bin_reader_t : t Bin_prot.Type_class.reader

#

val bin_size_t : t Bin_prot.Size.sizer

#

val bin_write_t : t Bin_prot.Write.writer

#

val bin_writer_t : t Bin_prot.Type_class.writer

end

#

module Immutable : sig

#

type t = [

| Read.t

| `Who_can_write of nobody

]

#

val t_of_sexp : Sexplib.Sexp.t -> t

#

val __t_of_sexp__ : Sexplib.Sexp.t -> t

#

val sexp_of_t : t -> Sexplib.Sexp.t

#

val compare : t -> t -> int

#

val bin_t : t Bin_prot.Type_class.t

#

val bin_read_t : t Bin_prot.Read.reader

#

val __bin_read_t__ : (int -> t) Bin_prot.Read.reader

#

val bin_reader_t : t Bin_prot.Type_class.reader

#

val bin_size_t : t Bin_prot.Size.sizer

#

val bin_write_t : t Bin_prot.Write.writer

#

val bin_writer_t : t Bin_prot.Type_class.writer

end

#

module Read_write : sig

#

type t = [

| Read.t

| Write.t

]

#

val t_of_sexp : Sexplib.Sexp.t -> t

#

val __t_of_sexp__ : Sexplib.Sexp.t -> t

#

val sexp_of_t : t -> Sexplib.Sexp.t

#

val compare : t -> t -> int

#

val bin_t : t Bin_prot.Type_class.t

#

val bin_read_t : t Bin_prot.Read.reader

#

val __bin_read_t__ : (int -> t) Bin_prot.Read.reader

#

val bin_reader_t : t Bin_prot.Type_class.reader

#

val bin_size_t : t Bin_prot.Size.sizer

#

val bin_write_t : t Bin_prot.Write.writer

#

val bin_writer_t : t Bin_prot.Type_class.writer

end

#

module Upper_bound : sig

#

type 'a t = [

| Read.t

| `Who_can_write of 'a

]

#

val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a t

#

val __t_of_sexp__ : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a t

#

val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t

#

val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int

#

val bin_t : 'a Bin_prot.Type_class.t -> 'a t Bin_prot.Type_class.t

#

val bin_read_t : 'a Bin_prot.Read.reader -> 'a t Bin_prot.Read.reader

#

val __bin_read_t__ : 'a Bin_prot.Read.reader -> (int -> 'a t) Bin_prot.Read.reader

#

val bin_reader_t : 'a Bin_prot.Type_class.reader -> 'a t Bin_prot.Type_class.reader

#

val bin_size_t : 'a Bin_prot.Size.sizer -> 'a t Bin_prot.Size.sizer

#

val bin_write_t : 'a Bin_prot.Write.writer -> 'a t Bin_prot.Write.writer

#

val bin_writer_t : 'a Bin_prot.Type_class.writer -> 'a t Bin_prot.Type_class.writer

end

#

module Export : sig

#

type read_perm = Read.t

#

type write_perm = Write.t

#

type read_only_perms = Read_only.t

#

type immutable_perms = Immutable.t

#

type read_write_perms = Read_write.t

#

type 'a perms = 'a Upper_bound.t

#

val read_perm_of_sexp : Sexplib.Sexp.t -> read_perm

#

val sexp_of_read_perm : read_perm -> Sexplib.Sexp.t

#

val compare_read_perm : read_perm -> read_perm -> int

#

val bin_read_perm : read_perm Bin_prot.Type_class.t

#

val bin_read_read_perm : read_perm Bin_prot.Read.reader

#

val __bin_read_read_perm__ : (int -> read_perm) Bin_prot.Read.reader

#

val bin_reader_read_perm : read_perm Bin_prot.Type_class.reader

#

val bin_size_read_perm : read_perm Bin_prot.Size.sizer

#

val bin_write_read_perm : read_perm Bin_prot.Write.writer

#

val bin_writer_read_perm : read_perm Bin_prot.Type_class.writer

#

val write_perm_of_sexp : Sexplib.Sexp.t -> write_perm

#

val sexp_of_write_perm : write_perm -> Sexplib.Sexp.t

#

val compare_write_perm : write_perm -> write_perm -> int

#

val bin_write_perm : write_perm Bin_prot.Type_class.t

#

val bin_read_write_perm : write_perm Bin_prot.Read.reader

#

val __bin_read_write_perm__ : (int -> write_perm) Bin_prot.Read.reader

#

val bin_reader_write_perm : write_perm Bin_prot.Type_class.reader

#

val bin_size_write_perm : write_perm Bin_prot.Size.sizer

#

val bin_write_write_perm : write_perm Bin_prot.Write.writer

#

val bin_writer_write_perm : write_perm Bin_prot.Type_class.writer

#

val read_only_perms_of_sexp : Sexplib.Sexp.t -> read_only_perms

#

val sexp_of_read_only_perms : read_only_perms -> Sexplib.Sexp.t

#

val compare_read_only_perms : read_only_perms -> read_only_perms -> int

#

val bin_read_only_perms : read_only_perms Bin_prot.Type_class.t

#

val bin_read_read_only_perms : read_only_perms Bin_prot.Read.reader

#

val __bin_read_read_only_perms__ : (int -> read_only_perms) Bin_prot.Read.reader

#

val bin_reader_read_only_perms : read_only_perms Bin_prot.Type_class.reader

#

val bin_size_read_only_perms : read_only_perms Bin_prot.Size.sizer

#

val bin_write_read_only_perms : read_only_perms Bin_prot.Write.writer

#

val bin_writer_read_only_perms : read_only_perms Bin_prot.Type_class.writer

#

val immutable_perms_of_sexp : Sexplib.Sexp.t -> immutable_perms

#

val sexp_of_immutable_perms : immutable_perms -> Sexplib.Sexp.t

#

val compare_immutable_perms : immutable_perms -> immutable_perms -> int

#

val bin_immutable_perms : immutable_perms Bin_prot.Type_class.t

#

val bin_read_immutable_perms : immutable_perms Bin_prot.Read.reader

#

val __bin_read_immutable_perms__ : (int -> immutable_perms) Bin_prot.Read.reader

#

val bin_reader_immutable_perms : immutable_perms Bin_prot.Type_class.reader

#

val bin_size_immutable_perms : immutable_perms Bin_prot.Size.sizer

#

val bin_write_immutable_perms : immutable_perms Bin_prot.Write.writer

#

val bin_writer_immutable_perms : immutable_perms Bin_prot.Type_class.writer

#

val read_write_perms_of_sexp : Sexplib.Sexp.t -> read_write_perms

#

val sexp_of_read_write_perms : read_write_perms -> Sexplib.Sexp.t

#

val compare_read_write_perms : read_write_perms -> read_write_perms -> int

#

val bin_read_write_perms : read_write_perms Bin_prot.Type_class.t

#

val bin_read_read_write_perms : read_write_perms Bin_prot.Read.reader

#

val __bin_read_read_write_perms__ : (int -> read_write_perms) Bin_prot.Read.reader

#

val bin_reader_read_write_perms : read_write_perms Bin_prot.Type_class.reader

#

val bin_size_read_write_perms : read_write_perms Bin_prot.Size.sizer

#

val bin_write_read_write_perms : read_write_perms Bin_prot.Write.writer

#

val bin_writer_read_write_perms : read_write_perms Bin_prot.Type_class.writer

#

val perms_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a perms

#

val sexp_of_perms : ('a -> Sexplib.Sexp.t) -> 'a perms -> Sexplib.Sexp.t

#

val compare_perms : ('a -> 'a -> int) -> 'a perms -> 'a perms -> int

#

val bin_perms : 'a Bin_prot.Type_class.t -> 'a perms Bin_prot.Type_class.t

#

val bin_read_perms : 'a Bin_prot.Read.reader -> 'a perms Bin_prot.Read.reader

#

val __bin_read_perms__ : 'a Bin_prot.Read.reader -> (int -> 'a perms) Bin_prot.Read.reader

#

val bin_reader_perms : 'a Bin_prot.Type_class.reader -> 'a perms Bin_prot.Type_class.reader

#

val bin_size_perms : 'a Bin_prot.Size.sizer -> 'a perms Bin_prot.Size.sizer

#

val bin_write_perms : 'a Bin_prot.Write.writer -> 'a perms Bin_prot.Write.writer

#

val bin_writer_perms : 'a Bin_prot.Type_class.writer -> 'a perms Bin_prot.Type_class.writer

end

#

module Stable : sig

#

module V1 : sig

include sig

#

type __pa_nonrec_0 = nobody

#

type nobody = __pa_nonrec_0

end

with type __pa_nonrec_0 := nobody

include sig

#

type __pa_nonrec_1 = me

#

type me = __pa_nonrec_1

end

with type __pa_nonrec_1 := me

#

module Read : sig

#

type t = Read.t

#

val t_of_sexp : Sexplib.Sexp.t -> t

#

val sexp_of_t : t -> Sexplib.Sexp.t

#

val compare : t -> t -> int

#

val bin_t : t Bin_prot.Type_class.t

#

val bin_read_t : t Bin_prot.Read.reader

#

val __bin_read_t__ : (int -> t) Bin_prot.Read.reader

#

val bin_reader_t : t Bin_prot.Type_class.reader

#

val bin_size_t : t Bin_prot.Size.sizer

#

val bin_write_t : t Bin_prot.Write.writer

#

val bin_writer_t : t Bin_prot.Type_class.writer

end

#

module Write : sig

#

type t = Write.t

#

val t_of_sexp : Sexplib.Sexp.t -> t

#

val sexp_of_t : t -> Sexplib.Sexp.t

#

val compare : t -> t -> int

#

val bin_t : t Bin_prot.Type_class.t

#

val bin_read_t : t Bin_prot.Read.reader

#

val __bin_read_t__ : (int -> t) Bin_prot.Read.reader

#

val bin_reader_t : t Bin_prot.Type_class.reader

#

val bin_size_t : t Bin_prot.Size.sizer

#

val bin_write_t : t Bin_prot.Write.writer

#

val bin_writer_t : t Bin_prot.Type_class.writer

end

#

module Read_only : sig

#

type t = Read_only.t

#

val t_of_sexp : Sexplib.Sexp.t -> t

#

val sexp_of_t : t -> Sexplib.Sexp.t

#

val compare : t -> t -> int

#

val bin_t : t Bin_prot.Type_class.t

#

val bin_read_t : t Bin_prot.Read.reader

#

val __bin_read_t__ : (int -> t) Bin_prot.Read.reader

#

val bin_reader_t : t Bin_prot.Type_class.reader

#

val bin_size_t : t Bin_prot.Size.sizer

#

val bin_write_t : t Bin_prot.Write.writer

#

val bin_writer_t : t Bin_prot.Type_class.writer

end

#

module Immutable : sig

#

type t = Immutable.t

#

val t_of_sexp : Sexplib.Sexp.t -> t

#

val sexp_of_t : t -> Sexplib.Sexp.t

#

val compare : t -> t -> int

#

val bin_t : t Bin_prot.Type_class.t

#

val bin_read_t : t Bin_prot.Read.reader

#

val __bin_read_t__ : (int -> t) Bin_prot.Read.reader

#

val bin_reader_t : t Bin_prot.Type_class.reader

#

val bin_size_t : t Bin_prot.Size.sizer

#

val bin_write_t : t Bin_prot.Write.writer

#

val bin_writer_t : t Bin_prot.Type_class.writer

end

#

module Read_write : sig

#

type t = Read_write.t

#

val t_of_sexp : Sexplib.Sexp.t -> t

#

val sexp_of_t : t -> Sexplib.Sexp.t

#

val compare : t -> t -> int

#

val bin_t : t Bin_prot.Type_class.t

#

val bin_read_t : t Bin_prot.Read.reader

#

val __bin_read_t__ : (int -> t) Bin_prot.Read.reader

#

val bin_reader_t : t Bin_prot.Type_class.reader

#

val bin_size_t : t Bin_prot.Size.sizer

#

val bin_write_t : t Bin_prot.Write.writer

#

val bin_writer_t : t Bin_prot.Type_class.writer

end

#

module Upper_bound : sig

#

type 'a t = 'a Upper_bound.t

#

val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a t

#

val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t

#

val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int

#

val bin_t : 'a Bin_prot.Type_class.t -> 'a t Bin_prot.Type_class.t

#

val bin_read_t : 'a Bin_prot.Read.reader -> 'a t Bin_prot.Read.reader

#

val __bin_read_t__ : 'a Bin_prot.Read.reader -> (int -> 'a t) Bin_prot.Read.reader

#

val bin_reader_t : 'a Bin_prot.Type_class.reader -> 'a t Bin_prot.Type_class.reader

#

val bin_size_t : 'a Bin_prot.Size.sizer -> 'a t Bin_prot.Size.sizer

#

val bin_write_t : 'a Bin_prot.Write.writer -> 'a t Bin_prot.Write.writer

#

val bin_writer_t : 'a Bin_prot.Type_class.writer -> 'a t Bin_prot.Type_class.writer

end

#

val nobody_of_sexp : Sexplib.Sexp.t -> nobody

#

val sexp_of_nobody : nobody -> Sexplib.Sexp.t

#

val compare_nobody : nobody -> nobody -> int

#

val bin_nobody : nobody Bin_prot.Type_class.t

#

val bin_read_nobody : nobody Bin_prot.Read.reader

#

val __bin_read_nobody__ : (int -> nobody) Bin_prot.Read.reader

#

val bin_reader_nobody : nobody Bin_prot.Type_class.reader

#

val bin_size_nobody : nobody Bin_prot.Size.sizer

#

val bin_write_nobody : nobody Bin_prot.Write.writer

#

val bin_writer_nobody : nobody Bin_prot.Type_class.writer

#

val me_of_sexp : Sexplib.Sexp.t -> me

#

val sexp_of_me : me -> Sexplib.Sexp.t

#

val compare_me : me -> me -> int

#

val bin_me : me Bin_prot.Type_class.t

#

val bin_read_me : me Bin_prot.Read.reader

#

val __bin_read_me__ : (int -> me) Bin_prot.Read.reader

#

val bin_reader_me : me Bin_prot.Type_class.reader

#

val bin_size_me : me Bin_prot.Size.sizer

#

val bin_write_me : me Bin_prot.Write.writer

#

val bin_writer_me : me Bin_prot.Type_class.writer

end

#

module Export : module type of Export

end

#

val nobody_of_sexp : Sexplib.Sexp.t -> nobody

#

val sexp_of_nobody : nobody -> Sexplib.Sexp.t

#

val compare_nobody : nobody -> nobody -> int

#

val bin_nobody : nobody Bin_prot.Type_class.t

#

val bin_read_nobody : nobody Bin_prot.Read.reader

#

val __bin_read_nobody__ : (int -> nobody) Bin_prot.Read.reader

#

val bin_reader_nobody : nobody Bin_prot.Type_class.reader

#

val bin_size_nobody : nobody Bin_prot.Size.sizer

#

val bin_write_nobody : nobody Bin_prot.Write.writer

#

val bin_writer_nobody : nobody Bin_prot.Type_class.writer

#

val me_of_sexp : Sexplib.Sexp.t -> me

#

val sexp_of_me : me -> Sexplib.Sexp.t

#

val compare_me : me -> me -> int

#

val bin_me : me Bin_prot.Type_class.t

#

val bin_read_me : me Bin_prot.Read.reader

#

val __bin_read_me__ : (int -> me) Bin_prot.Read.reader

#

val bin_reader_me : me Bin_prot.Type_class.reader

#

val bin_size_me : me Bin_prot.Size.sizer

#

val bin_write_me : me Bin_prot.Write.writer

#

val bin_writer_me : me Bin_prot.Type_class.writer

module Perms