Module Make.GuardSource

Sourcemodule Uuid : sig ... end
Sourcemodule Permission : sig ... end
Sourcemodule TargetEntity : sig ... end
Sourcemodule Actor : sig ... end
Sourcemodule ActorRole : sig ... end
Sourcemodule type ActorSig = sig ... end
Sourcemodule Target : sig ... end
Sourcemodule type TargetSig = sig ... end
Sourcemodule RolePermission : sig ... end
Sourcemodule ActorPermission : sig ... end
Sourcemodule PermissionOnTarget : sig ... end
Sourcemodule ValidationSet : sig ... end
Sourcemodule RoleAssignment : sig ... end
Sourcemodule type PersistenceSig = sig ... end
Sourcemodule MakePersistence (Backend : sig ... end) : sig ... end