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