Guard.MakePersistenceSourcemodule Backend : sig ... endtype 'a actor = 'a Actor.ttype 'b target = 'b Target.ttype actor_spec = ActorSpec.ttype effect = Effect.ttype kind = TargetRoles.ttype role_set = RoleSet.ttype roles = ActorRoles.ttype rule = Rule.ttype target_spec = TargetSpec.ttype validation_set = ValidationSet.ttype ('rv, 'err) monad = ('rv, 'err) Lwt_result.tval migrate : ?ctx:(string * string) list -> unit -> unit Lwt.tval clean : ?ctx:(string * string) list -> unit -> unit Lwt.tval validate :
?ctx:(string * string) list ->
(string -> 'etyp) ->
validation_set ->
'a actor ->
(unit, 'etyp) monad