Previous
Up
Next
Module
Std_kernel.Substring
module
Substring:
Substring
include
Make_substring.S