Module Djot_kernel.Specif

type 'a coq_sig = 'a