Module Reasoning_proxy_util.Make

Parameters

module Arg : ARG

Signature

val perform_action : P.Action.t -> unit