herdtools7.asllib
SideEffect.TimeFrame
type t =
| Constant
| Config
| Execution
val is_before : t -> t -> bool
val max : t -> t -> t
val of_ldk : AST.local_decl_keyword -> t
val of_gdk : AST.global_decl_keyword -> t