package febusy
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type _ t = | Return : ('a, 'b) Artifact.t * 'b -> ('a, 'b) Artifact.t t| Bind : ('a, 'b) Artifact.t t * (('a, 'b) Artifact.t -> 'b -> ('c, 'd) Artifact.t t) -> ('c, 'd) Artifact.t t| Join : ('a, 'b) Artifact.t t * ('c, 'd) Artifact.t t -> ('a * 'c, 'b * 'd) Artifact.t t| Join_list : ('a, 'b) Artifact.t t list -> ('a list, 'b list) Artifact.t t| Ensures : 'a Action.t * ('b, 'a) Artifact.t -> ('b, 'a) Artifact.t t