Make (p.guardian.0.0.5.doc.guardian.Guardian.Make)

Parameters

module A : RoleSig

module T : RoleSig

Sourcemodule Uuid = Uuid

Sourcemodule Action : sig ... end

Sourcemodule ActorRoleSet : sig ... end

Sourcemodule TargetRoleSet : sig ... end

Sourcemodule Authorizable : sig ... end

Sourcemodule AuthorizableTarget : sig ... end

Sourcemodule Authorizer : sig ... end

Sourcemodule type Persistence_s = sig ... end

Sourcemodule Make_persistence (Backend : sig ... end) : Persistence_s