c-semantics/semantics/c/library/library.k at master · kframework/c-semantics · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
require "ctype.k"
require "builtin.k"
require "types.k"
require "io.k"
require "locale.k"
require "math.k"
require "native.k"
require "setjmp.k"
require "signal.k"
require "stdarg.k"
require "stdio.k"
require "stdlib.k"
require "string.k"
require "threads.k"
require "time.k"

module C-LIBRARY
     ////////////////////////////////
     //- C standard library
     imports LIBC-BUILTIN
     imports LIBC-IO

     imports LIBC-CTYPE
     imports LIBC-LOCALE
     imports LIBC-MATH
     imports LIBC-SETJMP
     imports LIBC-SIGNAL
     imports LIBC-STDARG
     imports LIBC-STDIO
     imports LIBC-STDLIB
     imports LIBC-STRING
     imports LIBC-THREADS
     imports LIBC-TIME
     imports LIBC-TYPES

     imports C-NATIVE-BRIDGE
endmodule