Source file action.ml

type t = Types.action
type stmt = Types.action_stmt

let on_success = Types.on_success
let on_act = Types.on_act
let assign p e = Types.assign p e
let return_bool = Types.return_bool
let abort = Types.abort
let if_ = Types.action_if
let var = Types.var
let pp = Types.pp_action