OSDN Git Service

change headr file name
[happyabc/happyabc.git] / swflib / highInst.mlp
1 open Base
2 open MethodType
3
4 #include "high.type.h"
5
6 type s = [
7 #include "type.inst.h"
8 ]
9 and method_ = s MethodType.method_
10 and class_  = s MethodType.class_
11
12 type t = LowInst.t
13
14 let rec some_only =
15   function
16       [] ->
17         []
18     | None::xs ->
19         some_only xs
20     | Some x::xs ->
21         x::some_only xs
22
23 let const =
24 function
25 #include "const.inst.h"