aboutsummaryrefslogblamecommitdiffstats
path: root/lib/vcl/executor.ml
blob: 4ac5effbc937eec2d4746e425b5145cd57c78cd6 (plain) (tree)
1
2
3
4
5
6
7
8
                                
                                                                    
                                                      

                            


                                                          


                            
module Make (NT : Nt.S) = struct
  let execute (ctx : Sublanguage_context.t) (stmt : Ast.statement) :
      (Sublanguage_types.result, Condition.t) result =
    match stmt with
    | Ast.Use branch_name ->
       Result.map
         (fun delta -> Sublanguage_types.Transition delta)
         (ctx.switch_branch branch_name)

  let _ = (module NT : Nt.S)
end