blob: 4ac5effbc937eec2d4746e425b5145cd57c78cd6 (
plain) (
tree)
|
|
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
|