package bonsai
Source file interaction.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19open! Core type 'action t = | Profile : string -> _ t | Change_input : 'a Bonsai.Var.t * 'a -> _ t | Inject : 'action -> 'action t | Advance_clock_by : Time_ns.Span.t -> _ t | Stabilize : _ t | Reset_model : _ t | Many : 'action t list -> 'action t let change_input var value = Change_input (var, value) let inject action = Inject action let advance_clock_by span = Advance_clock_by span let stabilize = Stabilize let reset_model = Reset_model let profile ~name = Profile name let many ts = Many ts let many_with_stabilizations ts = Many (List.intersperse ts ~sep:Stabilize)