Module Sts.StatementSource

Sourcetype effect_ =
  1. | Accept
  2. | Deny
Sourceval yojson_of_effect_ : effect_ -> Ppx_yojson_conv_lib.Yojson.Safe.t
Sourceval effect__of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> effect_
Sourcetype action = string list
Sourceval yojson_of_action : action -> Ppx_yojson_conv_lib.Yojson.Safe.t
Sourceval action_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> action
Sourcetype resource = string list
Sourceval yojson_of_resource : resource -> Ppx_yojson_conv_lib.Yojson.Safe.t
Sourceval resource_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> resource
Sourceval effect_to_string : effect_ -> string
Sourcetype t = {
  1. sid : string;
  2. effect_ : effect_;
  3. action : action;
  4. resource : resource;
}
include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
Sourceval t_of_yojson : Yojson.Safe.t -> t
Sourceval yojson_of_t : t -> Yojson.Safe.t
Sourceval create : ?effect_:effect_ -> ?sid:string -> action:action -> resource:resource -> unit -> t
Sourceval to_json : t -> Yojson.Safe.t