Module Core_field

module Core_field: sig .. end

include Core_kernel.Core_field