Module Compile_context_util

module Compile_context_util: sig .. end

val copy_strip_functions : ('a, 'b) Compile_context.compile_context ->
Logical_algebra_types.logical_compile_context