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