Module Function_args

module Function_args: sig .. end

Nothing is exported; the function compute_atual is registered in Db.Value.