Previous
Up
Next
Module
Set_once
module
Set_once:
sig
..
end
include
Core_kernel.Set_once